Onward! 2014
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

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session the SecondOnward! Papers at Salon A
Chair(s): Gail Murphy University of British Columbia
10:30
22m
Talk
Multi-tier Functional Reactive Programming for the Web
Onward! Papers
Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven
10:52
22m
Talk
Towards Tierless Programming in a General-Purpose Language
Onward! Papers
Laure Philips Software Languages Lab, Coen De Roover Software Languages Lab, Software Engineering Laboratory, Tom Van Cutsem Alcatel-Lucent Bell Labs, Wolfgang De Meuter Vrije Universiteit Brussel
11:15
22m
Talk
Capturing and Exploiting IDE Interactions
Onward! Papers
Zhongxian Gu UC Davis, Drew Schleck UC Davis, Earl T. Barr University College London, Zhendong Su University of California, Davis
11:37
22m
Talk
A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Onward! Papers
Eelco Visser Delft University of Technology, Guido Wachsmuth Delft University of Technology, Andrew Tolmach Portland State University, Pierre Neron TU Delft, Vlad Vergu TU Delft, Augusto Passalaqua TU Delft, Gabriël Konat Delft University of Technology
Media Attached