From 2d4af3125ea34fee956f2217190bce149bfef31b Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 25 Oct 2017 09:08:08 +0200 Subject: More on Incremental Static Semantic Analysis --- literature.md | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) (limited to 'literature.md') 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 -- cgit v1.2.3