More on Incremental Static Semantic Analysis

1 files changed, 17 insertions, 5 deletions

diff --git a/literature.md b/literature.md
index 59d3d10..0da6957 100644
--- a/literature.md
+++ b/literature.md
@@ -41,10 +41,22 @@ Parser für kontextfreie Grammatiken
     formulieren.
     
 Inkrementelle statische Analyse
-  ~ @maddox1997incremental beschreibt eine deklarative Sprache für kontextfreie
-    Grammatiken (angelehnt an Attributgrammatiken) und ein System um aus jener
-    sowohl einen inkrementellen Parser als auch ein inkrementelles Programm zur
-    semantischen Analyse auf dem Ergebnis des Parsers abzuleiten.
+  ~ @maddox1997incremental beschreibt eine deklarative Sprache für
+    kontextsensitive Grammatiken (basierend auf Attributgrammatiken) und ein
+    System um aus jener sowohl einen inkrementellen Parser als auch ein Programm
+    zur inkrementellen semantischen Analyse auf dem Ergebnis abzuleiten.
+    
+    Das präsentierte System ist eng gekoppelt und basiert in wesentlichen Teilen
+    auf der Repräsentation der betrachteten Sprache als Attributgrammatik, was
+    es notwendig macht diverse Fälle mit nur geringer Uniformität zu behandeln.
+    Es lassen sich zwar Kompositionen von Attributsgrammatiken (und daher
+    vmtl. auch von den in dieser Arbeit eingeführten _ADL_-Termen) berechnen es
+    ist jedoch davon auszugehen, dass, vor allem durch das Interface unserer
+    Parser als edit-lens statt als compiler-generator, einfachere
+    Komponierbarkeit erreicht werden kann.
+    Wir wollen zudem versuchen, durch geeignete algebraische Struktur, ohne die
+    diversen expliziten caching-Mechanismen auszukommen, die hier eingesetzt
+    werden.
     
 Applikative parser mit lazy evaluation
   ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá
@@ -98,7 +110,7 @@ Bidirectional tree- & string transformations
     sich die Methoden von @bohannon2008boomerang an.
     
 Symmetrische Linsen
-  ~ Unparsing (pretty-printing) soll nicht im Umfang der Arbeit sein.
+  ~ Unparsing (pretty-printing) soll in dieser Arbeit nicht behandelt werden.
   
 Polish Parsers & Parser-Kombinatoren
   ~ Es ist nicht auszuschließen, dass wir unsere Beispiel-Parser vermöge einer