diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-10-25 09:24:03 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-10-25 09:24:03 +0200 |
commit | 377c2bb1655a565f978504d3ca70c379460906c7 (patch) | |
tree | 96efe3e6f9a59768910670978057a669d431cb30 /literature.md | |
parent | 2d4af3125ea34fee956f2217190bce149bfef31b (diff) | |
download | incremental-dfsts-377c2bb1655a565f978504d3ca70c379460906c7.tar incremental-dfsts-377c2bb1655a565f978504d3ca70c379460906c7.tar.gz incremental-dfsts-377c2bb1655a565f978504d3ca70c379460906c7.tar.bz2 incremental-dfsts-377c2bb1655a565f978504d3ca70c379460906c7.tar.xz incremental-dfsts-377c2bb1655a565f978504d3ca70c379460906c7.zip |
More incremental analysis
Diffstat (limited to 'literature.md')
-rw-r--r-- | literature.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/literature.md b/literature.md index 0da6957..49ac253 100644 --- a/literature.md +++ b/literature.md | |||
@@ -40,7 +40,7 @@ Parser für kontextfreie Grammatiken | |||
40 | Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu | 40 | Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu |
41 | formulieren. | 41 | formulieren. |
42 | 42 | ||
43 | Inkrementelle statische Analyse | 43 | Inkrementelle Semantische Analyse |
44 | ~ @maddox1997incremental beschreibt eine deklarative Sprache für | 44 | ~ @maddox1997incremental beschreibt eine deklarative Sprache für |
45 | kontextsensitive Grammatiken (basierend auf Attributgrammatiken) und ein | 45 | kontextsensitive Grammatiken (basierend auf Attributgrammatiken) und ein |
46 | System um aus jener sowohl einen inkrementellen Parser als auch ein Programm | 46 | System um aus jener sowohl einen inkrementellen Parser als auch ein Programm |
@@ -58,6 +58,10 @@ Inkrementelle statische Analyse | |||
58 | diversen expliziten caching-Mechanismen auszukommen, die hier eingesetzt | 58 | diversen expliziten caching-Mechanismen auszukommen, die hier eingesetzt |
59 | werden. | 59 | werden. |
60 | 60 | ||
61 | Andere, verwandte Arbeiten (z.B. die von @gafter1990parallel oder | ||
62 | @hedin1992incremental) haben ähnliche Probleme in Bezug auf Komponierbarkeit | ||
63 | ihrer Ergebnisse. | ||
64 | |||
61 | Applikative parser mit lazy evaluation | 65 | Applikative parser mit lazy evaluation |
62 | ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá | 66 | ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá |
63 | @swierstra2001combinator) die noch während dem parse-Vorgang Resultate | 67 | @swierstra2001combinator) die noch während dem parse-Vorgang Resultate |