summaryrefslogtreecommitdiff
path: root/literature.md
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2017-10-25 09:34:11 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2017-10-25 09:34:11 +0200
commit7cdccabeedda7566ad5164ad297695b4d9f8d0be (patch)
treef444b73fe86f86528298693c11d5e2b09cd959ee /literature.md
parentde87f85cfeb6dbe354bc16bbd3acc32291ee4b54 (diff)
downloadincremental-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.md19
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
3Wir möchten inkrementelle Parser sowohl in ihrer algebraischen Struktur als auch 3```include
4in einer Implementierung in Haskell als edit-lenses (alá @hofmann2012edit) 4topic.md
5auffassen. 5```
6
7Unter einem inkrementellen Parser verstehen wir (analog zu
8@ghezzi1979incremental) ein Programm, das, nach einem initialen Parsevorgang,
9gegeben eine Spezifikation einer Änderung der textuellen Eingabe schneller ein
10neues Ergebnis erzeugt als es ohne zusätzlichen Kontext möglich wäre
11(gewöhnlicherweise in logarithmischer Zeit in der Länge der Eingabe).
12Für die Darstellung als edit-lens erweitern wir diese Definition und fordern,
13dass statt einem neuen Ergebnis eine Spezifikation einer Änderung am Ergebnis
14erzeugt werden soll (das Anwenden dieser Änderung auf ein altes Ergebnis sollte
15die Laufzeit nicht verschlechtern).
16
17Unsere 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