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.

Thu 23 Oct

oopsla2014
13:30 - 15:00: OOPSLA - Languages at Salon E
Chair(s): Crista LopesUniversity of California, Irvine
oopsla2014141406380000013:30 - 13:52
Talk
Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Mira MeziniTechnical University of Darmstadt
Link to publication
oopsla2014141406515000013:52 - 14:15
Talk
Tillmann RendelUniversity of Marburg, Jonathan Immanuel BrachthäuserUniversity of Marburg, Klaus OstermannUniversity of Marburg
Link to publication
oopsla2014141406650000014:15 - 14:37
Talk
Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication
oopsla2014141406785000014:37 - 15:00
Talk
Ralf MitschkeTechnical University of Darmstadt, Sebastian ErdwegTU Darmstadt, Mirko KohlerTechnical University of Darmstadt, Mira MeziniTechnical University of Darmstadt, Guido SalvaneschiTU Darmstadt
Link to publication