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 | ||
