diff options
Diffstat (limited to 'literature.md')
-rw-r--r-- | literature.md | 19 |
1 files changed, 3 insertions, 16 deletions
diff --git a/literature.md b/literature.md index 49ac253..a068576 100644 --- a/literature.md +++ b/literature.md | |||
@@ -1,21 +1,8 @@ | |||
1 | # Thema | 1 | # Thema |
2 | 2 | ||
3 | Wir möchten inkrementelle Parser sowohl in ihrer algebraischen Struktur als auch | 3 | ```include |
4 | in einer Implementierung in Haskell als edit-lenses (alá @hofmann2012edit) | 4 | topic.md |
5 | auffassen. | 5 | ``` |
6 | |||
7 | Unter einem inkrementellen Parser verstehen wir (analog zu | ||
8 | @ghezzi1979incremental) ein Programm, das, nach einem initialen Parsevorgang, | ||
9 | gegeben eine Spezifikation einer Änderung der textuellen Eingabe schneller ein | ||
10 | neues Ergebnis erzeugt als es ohne zusätzlichen Kontext möglich wäre | ||
11 | (gewöhnlicherweise in logarithmischer Zeit in der Länge der Eingabe). | ||
12 | Für die Darstellung als edit-lens erweitern wir diese Definition und fordern, | ||
13 | dass statt einem neuen Ergebnis eine Spezifikation einer Änderung am Ergebnis | ||
14 | erzeugt werden soll (das Anwenden dieser Änderung auf ein altes Ergebnis sollte | ||
15 | die Laufzeit nicht verschlechtern). | ||
16 | |||
17 | Unsere Implementierung soll inkrementelle Parser für reguläre- und | ||
18 | $LL(1)$-Sprachen sowie für Fragmente von Java und XML bereitstellen. | ||
19 | 6 | ||
20 | # Bekannte Ergebnisse | 7 | # Bekannte Ergebnisse |
21 | 8 | ||