Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Thu 23 Oct 2014 11:37 - 12:00 at Salon A - Session the Second Chair(s): Gail Murphy

The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer’s workbench that supports generation of IDEs, interpreters, and verification infrastructure from a single source. This constitutes a first milestone on the way to a system that fully automates language implementation and verification.

Thu 23 Oct

10:30 - 12:00: Onward! Papers - Session the Second at Salon A
Chair(s): Gail MurphyUniversity of British Columbia
onward2014-papers141405300000010:30 - 10:52
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
onward2014-papers141405435000010:52 - 11:15
Laure PhilipsSoftware Languages Lab, Coen De RooverSoftware Languages Lab, Software Engineering Laboratory, Tom Van CutsemAlcatel-Lucent Bell Labs, Wolfgang De MeuterVrije Universiteit Brussel
onward2014-papers141405570000011:15 - 11:37
Zhongxian GuUC Davis, Drew SchleckUC Davis, Earl BarrUniversity College London, Zhendong SuUniversity of California, Davis
onward2014-papers141405705000011:37 - 12:00
Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology, Andrew TolmachPortland State University, Pierre NeronTU Delft, Vlad VerguTU Delft, Augusto PassalaquaTU Delft, Gabriël KonatDelft University of Technology
Media Attached