SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Mon 20 Oct 2014 09:30 - 10:00 at Salon I - Session 1 Chair(s): Guido Wachsmuth

With the rise of domain-specific languages, more people are designing languages than ever, but the art of language design is hard to master. In this talk, we make a case for adapting insights from formal semantics into design patterns and conceptual tools for language design. Semanticists have invested significant effort in developing these insights in the pursuit of mathematical elegance, indirectly providing us with a toolbox full of design tools that are simple and powerful. We will introduce a few of these design tools, illustrating how language designers can start applying insights from formal semantics right now, without being experts in the subject or incurring the overhead of formalizing their entire language. The design tools we present are just a starting point and we hope to inspire other language designers to adapt this utilitarian view of formal semantics, to help us reuse the effort and expertise of semanticists by adapting their insights into easily applied design tools.

Mon 20 Oct
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1DSLDI at Salon I
Chair(s): Guido WachsmuthDelft University of Technology
08:30
30m
Day opening
Welcome & Introductions
DSLDI
09:00
30m
Talk
Compositionality in embedded DSLs
DSLDI
Jeremy GibbonsUniversity of Oxford, UK
09:30
30m
Talk
Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design
DSLDI
Paolo G. GiarrussoUniversity of Marburg, Klaus OstermannUniversity of Marburg, Tillmann RendelUniversity of Marburg, Eric WalkingshawUniversity of Marburg