SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 13:52 - 14:15 at Salon E - Languages Chair(s): Crista Lopes

Oliveira and Cook (2012) and Oliveira et al. (2013) have recently introduced object algebras as a program structuring technique to improve the modularity and extensibility of programs. We analyze the relationship between object algebras and attribute grammars (AGs), a formalism to augment context-free grammars with attributes. We present an an extension of the object algebra technique with which the full class of L-attributed grammars – an important class of AGs that corresponds to one-pass compilers – can be encoded in Scala. The encoding is modular (attributes can be defined and type-checked separately), scalable (the size of the encoding is linear in the size of the AG specification) and compositional (each AG artefact is represented as a semantic object of the host language). To validate these claims, we have formalized the encoding and we have re-implemented a one-pass compiler for a subset of C with our technique. We also discuss how advanced features of modern AG systems, such as higher-order and parameterized attributes, reference attributes, and forwarding can be supported.

Conference Day
Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
LanguagesOOPSLA at Salon E
Chair(s): Crista LopesUniversity of California, Irvine
13:30
22m
Talk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
OOPSLA
Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Mira MeziniTechnical University of Darmstadt
Link to publication
13:52
22m
Talk
From Object Algebras to Attribute Grammars
OOPSLA
Tillmann RendelUniversity of Marburg, Jonathan Immanuel BrachthäuserUniversity of Marburg, Klaus OstermannUniversity of Marburg
Link to publication
14:15
22m
Talk
Late Data Layout: Unifying Data Representation Transformations
OOPSLA
Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication
14:37
22m
Talk
i3QL: Language-Integrated Live Data Views
OOPSLA
Ralf MitschkeTechnical University of Darmstadt, Sebastian ErdwegTU Darmstadt, Mirko KöhlerTechnical University of Darmstadt, Mira MeziniTechnical University of Darmstadt, Guido SalvaneschiTU Darmstadt
Link to publication