From 106bcf2fe75ebe41727d48284ebf20cb14b3eb86 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 24 Oct 2017 23:25:02 +0200 Subject: =?UTF-8?q?Add=20=C2=BBIncremental=20Static=20Semantic=20Analysis?= =?UTF-8?q?=C2=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- literature.md | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'literature.md') diff --git a/literature.md b/literature.md index 6b18905..59d3d10 100644 --- a/literature.md +++ b/literature.md @@ -40,6 +40,12 @@ Parser für kontextfreie Grammatiken Haskell) statt imperativ (die referenzierten Arbeiten verwenden C++) zu 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. + Applikative parser mit lazy evaluation ~ @bernardy2009lazy beschreibt eine Implementierung applikativer Parser (alá @swierstra2001combinator) die noch während dem parse-Vorgang Resultate -- cgit v1.2.3