Live programming environments aim to provide programmers (and sometimes audiences)
with continuous feedback about a program's dynamic behavior as it is being edited. The …

Online programming platforms have immense potential to improve students' educational
experience. They make programming more accessible, as no installation is required; and …

We explore an approach to type-directed program synthesis rooted in constraint-based type
inference techniques. By doing this, we aim to more efficiently synthesize polymorphic code …

New programming languages often lack good IDE support, as developing advanced
semantic editor services takes additional effort. In previous work we discussed the …

Agile software development comprises small evolution steps that require discipline and
planning to maintain the soundness between all the components of a system. Software …

Software is an integral part of our lives. It controls the cars we drive every day, the ships we
send into space, and even our toasters. It is everywhere and we can easily download more …

Programming is the activity of modifying a program in order to bring about specific changes
in its behaviour. Yet programming language theory almost exclusively focuses on the …

Delft University of Technology Declarative Syntax Definition for Modern Language
Workbenches Page 1 Delft University of Technology Declarative Syntax Definition for …

Structure editors allow the programmer to edit the tree structure of a program directly. They
can provide cognitive benefits for novice programmers, simplify language composition, and …