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

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
GrammarsSLE at Regency B
Chair(s): Bernhard Rumpe RWTH Aachen University, Germany
10:30
25m
Talk
A Formalisation of Parameterised Reference Attribute GrammarsArtifact Evaluation
SLE
Scott Buckley Macquarie University, Australia, Anthony Sloane Macquarie University
DOI
10:55
25m
Talk
Concurrent Circular Reference Attribute GrammarsArtifact Evaluation
SLE
Jesper Oqvist Lund University, Görel Hedin
DOI
11:20
25m
Talk
Ensuring Non-interference of Composable Language Extensions
SLE
Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
DOI
11:45
15m
Talk
A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial PaperArtifact Evaluation
SLE
Suman Roychoudhury Tata Consultancy Services Research, Sagar Sunkle Tata Consultancy Services Research, Deepali Kholkar Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research
DOI