Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 16:10 - 16:40 at Zürich 1 - Code Generation and Synthesis Chair(s): Julia Lawall

This paper introduces typy, a statically typed programming language embedded by reflection into Python. Rather than defining a monolithic semantics, typy features a fragmentary semantics, i.e. it delegates semantic control over each term, drawn from Python’s fixed syntax, to a contextually relevant user-defined semantic fragment. This fragment programmatically 1) typechecks the term, and 2) assigns dynamic meaning to the term by computing its translation to Python. We argue that this design is expressive with examples of fragments that express the static and dynamic semantics of 1) functional records; 2) a variation on JavaScript’s prototypal object system; 3) labeled sums (with nested pattern matching a la ML); and 4) typed foreign interfaces to Python and OpenCL. These semantic structures are, or would need to be, defined primitively in other languages. We further argue that this design is compositionally well- behaved. It sidesteps the problems of grammar composition and the expression problem by allowing different fragments to deterministically share a fixed syntax. Moreover, programs are semantically stable under fragment composition.

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Code Generation and SynthesisGPCE at Zürich 1
Chair(s): Julia Lawall Inria/LIP6
15:40
30m
Talk
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
GPCE
Mina Lee Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
16:10
30m
Talk
Programmable Semantic Fragments: The Design and Implementation of typy
GPCE
Cyrus Omar Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
16:40
30m
Talk
Delaying Decisions in Variable Concern Hierarchies
GPCE
Jörg Kienzle McGill University, Canada, Gunter Mussbacher McGill University, Omar Alam Trent University, Philippe Collet University of Nice
17:10
15m
Talk
Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
GPCE
Sorin Adam Conpleks Innovation, Marco Kuhrmann , Ulrik Pagh Schultz University of Southern Denmark