Abstract is missing.
- PaSe: An Extensible and Inspectable DSL for Micro-AnimationsRuben P. Pieters, Tom Schrijvers. 3-24 [doi]
- BinderAnn: Automated Reification of Source Annotations for Monadic EDSLsAgustín Mista, Alejandro Russo. 25-46 [doi]
- Generating Next Step Hints for Task Oriented Programs Using Symbolic ExecutionNico Naus, Tim Steenvoorden. 47-68 [doi]
- Scaling Up Delta Debugging of Type Errors - Category: ResearchJoanna Sharrad, Olaf Chitil. 71-93 [doi]
- Flexible Formality Practical Experience with Agile Formal MethodsPhilipp Kant, Kevin Hammond, Duncan Coutts, James Chapman 0001, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova. 94-120 [doi]
- White-Box Path Generation in Recursive ProgramsRicardo Peña, Jaime Sánchez-Hernández. 121-135 [doi]
- A Proof Assistant Based Formalisation of a Subset of Sequential Core ErlangPéter Bereczky, Dániel Horpácsi, Simon J. Thompson. 139-158 [doi]
- One-Shot Algebraic Effects as CoroutinesSatoru Kawahara, Yukiyoshi Kameyama. 159-179 [doi]
- An Equational Modeling of Asynchronous Concurrent ProgrammingDavid Janin. 180-203 [doi]
- State Will doWillem Seynaeve, Koen Pauwels, Tom Schrijvers. 204-225 [doi]
- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote DataLukas Immanuel Schiller. 229-248 [doi]