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

Extensible languages and extensible compiler frameworks aim to allow independently-developed language extensions to be used by a programmer that need not be an expert in language or compiler design. It should be easy to combine the extensions and the resulting compiler should “just work” as expected. Previous work shown how specifications for parsers (based on context free grammars) and for semantic analysis (based on attribute grammars) can be automatically and reliably composed, ensuring that the resulting compiler does not terminate abnormally.

However, this work does not ensure that a property proven to hold for a language (perhaps an extended language) still holds when another extension is added to it, a problem we call “interference.” This paper presents a solution to the problem of interference between language extensions, through the use of a logical notion of “coherence.” We show that a useful class of language extensions, implemented as attribute grammars, preserve all coherent properties. If we also restrict extensions to only making use of coherent properties in establishing their correctness, then the correctness properties of each extension will hold even when composed with unknown other extensions. As a result, there can be no interference: each extension behaves as specified.

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