SPLASH 2014 (series) / Onward! 2014 (series) / Onward! Papers /
A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
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 Times are displayed in time zone: Tijuana, Baja California change
Thu 23 Oct
Times are displayed in time zone: Tijuana, Baja California change
10:30 - 12:00: Session the SecondOnward! Papers at Salon A Chair(s): Gail MurphyUniversity of British Columbia | |||
10:30 - 10:52 Talk | Multi-tier Functional Reactive Programming for the Web Onward! Papers Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven | ||
10:52 - 11:15 Talk | Towards Tierless Programming in a General-Purpose Language Onward! Papers Laure PhilipsSoftware Languages Lab, Coen De RooverSoftware Languages Lab, Software Engineering Laboratory, Tom Van CutsemAlcatel-Lucent Bell Labs, Wolfgang De MeuterVrije Universiteit Brussel | ||
11:15 - 11:37 Talk | Capturing and Exploiting IDE Interactions Onward! Papers Zhongxian GuUC Davis, Drew SchleckUC Davis, Earl T. BarrUniversity College London, Zhendong SuUniversity of California, Davis | ||
11:37 - 12:00 Talk | A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs Onward! Papers 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 |