From 7cdccabeedda7566ad5164ad297695b4d9f8d0be Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 25 Oct 2017 09:34:11 +0200 Subject: Support includes --- literature.md | 19 +++---------------- 1 file changed, 3 insertions(+), 16 deletions(-) (limited to 'literature.md') diff --git a/literature.md b/literature.md index 49ac253..a068576 100644 --- a/literature.md +++ b/literature.md @@ -1,21 +1,8 @@ # Thema -Wir möchten inkrementelle Parser sowohl in ihrer algebraischen Struktur als auch -in einer Implementierung in Haskell als edit-lenses (alá @hofmann2012edit) -auffassen. - -Unter einem inkrementellen Parser verstehen wir (analog zu -@ghezzi1979incremental) ein Programm, das, nach einem initialen Parsevorgang, -gegeben eine Spezifikation einer Änderung der textuellen Eingabe schneller ein -neues Ergebnis erzeugt als es ohne zusätzlichen Kontext möglich wäre -(gewöhnlicherweise in logarithmischer Zeit in der Länge der Eingabe). -Für die Darstellung als edit-lens erweitern wir diese Definition und fordern, -dass statt einem neuen Ergebnis eine Spezifikation einer Änderung am Ergebnis -erzeugt werden soll (das Anwenden dieser Änderung auf ein altes Ergebnis sollte -die Laufzeit nicht verschlechtern). - -Unsere Implementierung soll inkrementelle Parser für reguläre- und -$LL(1)$-Sprachen sowie für Fragmente von Java und XML bereitstellen. +```include +topic.md +``` # Bekannte Ergebnisse -- cgit v1.2.3