Three improvements on an incremental algorithm for automatic semantic analysis

DOI10.1007/BF02943990zbMath0679.68029OpenAlexW1965213792MaRDI QIDQ1822939

Daxing Ye

Publication date: 1989

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943990

zbMATH Keywords

attribute grammarsincremental evaluationautomatic semantic analysisordered attribute grammarsstatic semantics of programming languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• On incremental evaluation of ordered attributed grammars
• GAG: a practical compiler generator
• On incremental shift-reduce parsing
• Semantics of context-free languages

This page was built for publication: Three improvements on an incremental algorithm for automatic semantic analysis