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 - 09:00
Day opening
09:00 - 09:30
Jeremy GibbonsUniversity of Oxford, UK
09:30 - 10:00
Paolo G. GiarrussoUniversity of Marburg, Klaus OstermannUniversity of Marburg, Tillmann RendelUniversity of Marburg, Eric WalkingshawUniversity of Marburg