diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-10-25 09:34:11 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-10-25 09:34:11 +0200 |
commit | 7cdccabeedda7566ad5164ad297695b4d9f8d0be (patch) | |
tree | f444b73fe86f86528298693c11d5e2b09cd959ee /literature.md | |
parent | de87f85cfeb6dbe354bc16bbd3acc32291ee4b54 (diff) | |
download | incremental-dfsts-7cdccabeedda7566ad5164ad297695b4d9f8d0be.tar incremental-dfsts-7cdccabeedda7566ad5164ad297695b4d9f8d0be.tar.gz incremental-dfsts-7cdccabeedda7566ad5164ad297695b4d9f8d0be.tar.bz2 incremental-dfsts-7cdccabeedda7566ad5164ad297695b4d9f8d0be.tar.xz incremental-dfsts-7cdccabeedda7566ad5164ad297695b4d9f8d0be.zip |
Support includes
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 | ||