Sciweavers

35 search results - page 1 / 7
» Grammar Analysis and Parsing by Abstract Interpretation
Sort
View
BIRTHDAY
2006
Springer
13 years 10 months ago
Grammar Analysis and Parsing by Abstract Interpretation
Patrick Cousot, Radhia Cousot
PLILP
1992
Springer
13 years 10 months ago
Strictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
Mads Rosendahl
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
14 years 6 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
JOLLI
2010
107views more  JOLLI 2010»
13 years 4 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta