Tue 27 Oct 2015 10:30 - 11:00 at Grand Station 2 - Formal Modeling and Language Validation Chair(s): Marco Brambilla

Reference attribute grammars are a well-known language engineering technique for the implementation of semantic analyses. Reference attributes provide declarative means to extend abstract syntax trees to graphs and analyse such graphs; they are well-suited to deduce and reason about abstract syntax graphs. Efficient attribute re-evaluation in case of abstract syntax graph changes and a systematic integration of attribute-based analyses with further rewrite-based transformations are open research problems however. To solve these problems, a novel incremental syntax-directed compiler-compiler technique is presented, that seamlessly combines reference attribute grammars and graph rewriting. The presented technique not only permits incremental reference attribute evaluation, but also the reuse of analyses to ease the specification of, and guide, rewrite-based transformations. It enables efficient, mutually dependent, memoized analyses and transformations. The paper motivates and explains the concepts of such a reference attribute grammar controlled graph rewriting. For evaluation, a reference implementation is used to specify fUML Activity Diagram and Petri net interpreters.

Tue 27 Oct

sle2015
10:30 - 12:00: SLE - Formal Modeling and Language Validation at Grand Station 2
Chair(s): Marco BrambillaPolitecnico di Milano, Italy
sle201510:30 - 11:00
Talk
Christoff BürgerLund University, Sweden
DOI
sle201511:00 - 11:30
Talk
Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain
DOI
sle201511:30 - 12:00
Talk
Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI