Abstract is missing.
- A Family of Unification-Oblivious Program Transformations and Their ApplicationsPaul Tarau. 3-19 [doi]
- On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific LanguagesDavid Young, Mark Grebe, Andy Gill. 20-36 [doi]
- Synchronous Message-Passing with PriorityCheng-En Chuang, Grant Iraci, Lukasz Ziarek. 37-53 [doi]
- Putting Gradual Types to WorkBhargav Shivkumar, Enrique Naudon, Lukasz Ziarek. 54-70 [doi]
- A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief StatesFabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli. 73-89 [doi]
- Data Validation Meets Answer Set ProgrammingMario Alviano, Carmine Dodaro, Arnel Zamayla. 90-106 [doi]
- Lightweight Declarative Server-Side Web ProgrammingMichael Hanus. 107-123 [doi]
- ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven ProgramsSumit Padhiyar, K. C. Sivaramakrishnan. 127-144 [doi]
- Causal-Consistent Reversible Debugging: Improving CauDErJuan José González-Abril, Germán Vidal. 145-160 [doi]
- Declarative Debugging of XML QueriesJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón. 161-177 [doi]