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

dsldi2014
08:30 - 10:00: DSLDI - Session 1 at Salon I
Chair(s): Guido Wachsmuth
dsldi2014141378660000008:30 - 09:00
Day opening
dsldi2014141378840000009:00 - 09:30
Talk
dsldi2014141379020000009:30 - 10:00
Talk