| 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
|
|
|
| 15. |
Initial Algebra Semantics for Cyclic Sharing Tree Structures |
| |
Makoto Hamana
|
|
|
| 16. |
Propositional Dynamic Logic for Message-Passing Systems |
| |
Benedikt Bollig, Dietrich Kuske and Ingmar Meinecke
|
|
|
| 17. |
Unification in the Description Logic EL |
| |
Franz Baader and Barbara Morawska
|
|
|
| 18. |
Modularity of Convergence and Strong Convergence in Infinitary Rewriting |
| |
Stefan Michael Kahrs
|
|
|
| 19. |
Interactive Learning-Based Realizability for Heyting Arithmetic with EM₁ |
| |
Federico Aschieri and Stefano Berardi
|
|
|
| 20. |
Local Termination: theory and practice |
| |
Joerg Endrullis, Roel de Vrijer and Johannes Waldmann
|
|
|
| 21. |
Well-definedness of Streams by Transformation and Termination |
| |
Hans Zantema
|
|
|
| 22. |
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants |
| |
Jerome Leroux
|
|
|
| 23. |
Non-Deterministic Kleene Coalgebras |
| |
Alexandra Silva, Marcello Bonsangue and Jan Rutten
|
|
|
