 articles |
|
|
| 1. | Lazy Evaluation and Delimited Control | PDF | PostScript | Abstract, RST |
| | | | Ronald Garcia, Andrew Lumsdaine and Amr Sabry | |
|
| 2. | Size-Change Termination, Monotonicity Constraints and Ranking Functions | PDF | PostScript | Abstract, RST |
| | |
|
| 3. | Classical BI: Its Semantics and Proof Theory | PDF | PostScript | Abstract, RST |
| | | | James Brotherston and Cristiano Calcagno | |
|
| 4. | Automatic Modular Abstractions for Template Numerical Constraints | PDF | PostScript | Abstract, RST |
| | |
|
| 5. | Positive Supercompilation for a Higher-Order Call-By-Value Language | PDF | PostScript | Abstract, RST |
| | | | Peter A Jonsson and Johan Nordlander | |
|
| 6. | Automated Verification of Practical Garbage Collectors | PDF | PostScript | Abstract, RST |
| | | | Chris Hawblitzel and Erez Petrank | |
|
| 7. | Spatial logics with connectedness predicates | PDF | PostScript | Abstract, RST |
| | | | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter and Michael Zakharyaschev | |
|
| 8. | Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories | PDF | PostScript | Abstract, RST |
| | | | Luis Barguno, Guillem Godoy, Eduard Huntingford and Ashish Tiwari | |
|
| 9. | Domain Representable Spaces Defined by Strictly Positive Induction | PDF | PostScript | Abstract, RST |
| | |
|
| 10. | Expressiveness and Closure Properties for Quantitative Languages | PDF | PostScript | Abstract, RST |
| | | | Krishnendu Chatterjee, Laurent Doyen and Thomas A Henzinger | |
|
| 11. | Acyclic Solos and Differential Interaction Nets | PDF | PostScript | Abstract, RST |
| | | | Thomas Ehrhard and Olivier Laurent | |
|
| 12. | A Proof Theoretic Analysis of Intruder Theories | PDF | PostScript | Abstract, RST |
| | | | Alwen Tiu, Rajeev Gore and Jeremy Dawson | |
|
| 13. | Algorithms for Game Metrics | PDF | PostScript | Abstract, RST |
| | | | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar and Vishwanath Raman | |
|
| 14. | Sampled Semantics of Timed Automata | PDF | PostScript | Abstract, RST |
| | | | Pavel Krcal, Parosh Aziz Abdulla and Wang Yi | |
|
| 15. | Initial Algebra Semantics for Cyclic Sharing Tree Structures | PDF | PostScript | Abstract, RST |
| | |
|
| 16. | Propositional Dynamic Logic for Message-Passing Systems | PDF | PostScript | Abstract, RST |
| | | | Benedikt Bollig, Dietrich Kuske and Ingmar Meinecke | |
|
| 17. | Unification in the Description Logic EL | PDF | PostScript | Abstract, RST |
| | | | Franz Baader and Barbara Morawska | |
|
| 18. | Modularity of Convergence and Strong Convergence in Infinitary Rewriting | PDF | PostScript | Abstract, RST |
| | |
|
| 19. | Interactive Learning-Based Realizability for Heyting Arithmetic with EM₁ | PDF | PostScript | Abstract, RST |
| | | | Federico Aschieri and Stefano Berardi | |
|
| 20. | Local Termination: theory and practice | PDF | PostScript | Abstract, RST |
| | | | Joerg Endrullis, Roel de Vrijer and Johannes Waldmann | |
|
| 21. | Well-definedness of Streams by Transformation and Termination | PDF | PostScript | Abstract, RST |
| | |
|
| 22. | The General Vector Addition System Reachability Problem by Presburger Inductive Invariants | PDF | PostScript | Abstract, RST |
| | |
|
| 23. | Non-Deterministic Kleene Coalgebras | PDF | PostScript | Abstract, RST |
| | | | Alexandra Silva, Marcello Bonsangue and Jan Rutten | |
|
