| 1. |
Lazy Evaluation and Delimited Control |
| |
Ronald Garcia, Andrew Lumsdaine and Amr Sabry
|
|
|
| 2. |
Size-Change Termination, Monotonicity Constraints and Ranking Functions |
| |
Amir M. Ben-Amram
|
|
|
| 3. |
Classical BI: Its Semantics and Proof Theory |
| |
James Brotherston and Cristiano Calcagno
|
|
|
| 4. |
Automatic Modular Abstractions for Template Numerical Constraints |
| |
David Monniaux
|
|
|
| 5. |
Positive Supercompilation for a Higher-Order Call-By-Value Language |
| |
Peter A Jonsson and Johan Nordlander
|
|
|
| 6. |
Automated Verification of Practical Garbage Collectors |
| |
Chris Hawblitzel and Erez Petrank
|
|
|
| 7. |
Spatial logics with connectedness predicates |
| |
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter and Michael Zakharyaschev
|
|
|
| 8. |
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories |
| |
Luis Barguno, Guillem Godoy, Eduard Huntingford and Ashish Tiwari
|
|
|
| 9. |
Domain Representable Spaces Defined by Strictly Positive Induction |
| |
Petter Kristian Køber
|
|
|
| 10. |
Expressiveness and Closure Properties for Quantitative Languages |
| |
Krishnendu Chatterjee, Laurent Doyen and Thomas A Henzinger
|
|
|
| 11. |
Acyclic Solos and Differential Interaction Nets |
| |
Thomas Ehrhard and Olivier Laurent
|
|
|
| 12. |
A Proof Theoretic Analysis of Intruder Theories |
| |
Alwen Tiu, Rajeev Gore and Jeremy Dawson
|
|
|
| 13. |
Algorithms for Game Metrics |
| |
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar and Vishwanath Raman
|
|
|
| 14. |
Sampled Semantics of Timed Automata |
| |
Pavel Krcal, Parosh Aziz Abdulla and Wang Yi
|
|
|
