kirancodes.me
To Proof Maintenance & Beyond!

Deep priority conflicts in the wild: a pilot study

Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

Abstract

Context-free grammars are suitable for formalizing the syntax of programming languages concisely and declaratively. Thus, such grammars are often found in reference manuals of programming languages, and used in language workbenches for language prototyping. However, the natural and concise way of writing a context-free grammar is often ambiguous.

Related papers