Write a Blog >>
SLE 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Tue 24 Oct 2017 10:30 - 10:55 at Regency B - Grammars Chair(s): Bernhard Rumpe

The similarities and differences between attribute grammar systems are obscured by their implementations.

A formalism that captures the essence of such systems would allow for equivalence, correctness, and other analyses to be formally framed and proven. We present Saiga, a core language and small-step operational semantics that precisely captures the fundamental concepts of the specification and execution of parameterised reference attribute grammars.

We demonstrate the utility of Saiga by a) proving a meta-theoretic property about attribute caching, and b) by specifying two attribute grammars for a realistic name analysis problem and proving that they are equivalent.

The language, semantics and associated tests have been mechanised in Coq; we are currently mechanising the proofs.

Tue 24 Oct

sle-2017-papers
10:30 - 12:00: SLE - Grammars at Regency B
Chair(s): Bernhard RumpeRWTH Aachen University, Germany
sle-2017-papers10:30 - 10:55
Talk
Scott BuckleyMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
sle-2017-papers10:55 - 11:20
Talk
Jesper OqvistLund University, Görel Hedin
DOI
sle-2017-papers11:20 - 11:45
Talk
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI
sle-2017-papers11:45 - 12:00
Talk
Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research
DOI