Higher-Order and Symbolic Computation
Volume 19, Issue 1 (2006)
| p. 5 |
Editorial
Olivier Danvy, Oege de Moor, Julian Padget and Peter Thiemann [editorial] |
| pp. 7-30 |
Semantics of Roundoff Error Propagation in Finite
Precision Calculations
Matthieu Martel [abstract] |
| pp. 31-100 |
The Octagon Abstract Domain
Antoine Miné [abstract] |
| pp. 101-124 |
Dynamic State Restoration Using Versioning
Exceptions
V. Krishna Nandivada and Suresh Jagannathan [abstract] |
| pp. 125-162 |
Polymorphic Typed Defunctionalization and
Concretization
François Pottier and Nadji Gauthier [abstract] |
Volume 19, Issue 2/3 (2006), Theme issue on Mechanized Reasoning about Languages with Variables and Names
| pp. 167-168 |
Editorial
Furio Honsell and Carolyn Talcott [editorial] |
| pp. 169-195 |
Mechanising lambda-calculus using a Classical First
Order Theory of Terms with Permutations
Michael Norrish [abstract] |
| pp. 197-230 |
Formal Compiler Construction in a Logical Framework
Jason Hickey and Aleksey Nogin [abstract] |
| pp. 231-262 |
An Initial Algebra Approach to Term Rewriting Systems
with Variable Binders
Makoto Hamana [abstract] |
| pp. 263-282 |
Explicit Substitutions and Higher-Order Syntax
Neil Ghani, Tarmo Uustalu and Makoto Hamana [abstract] |
| pp. 283-304 |
About permutation algebras, (pre)sheaves and named
sets
Fabio Gadducci, Marino Miculan and Ugo Montanari [abstract] |
| pp. 305-337 |
Pseudo-Distributive Laws and Axiomatics for Variable
Binding
Miki Tanaka and John Power [abstract] |
Volume 19, Issue 4 (2006)
| p. 343-344 |
Editorial
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau and Carolyn Talcott [editorial] |
| pp. 345-376 |
Expressing Combinatory Reduction Systems in the
Rewriting Calculus
Clara Bertolissi, Horatiu Cirstea and Claude Kirchner [abstract] |
| pp. 377-414 |
Call-By-Push-Value: Decomposing Call-By-Value and
Call-By-Name
Paul Blain Levy [abstract] |
| pp. 415-463 |
Deriving Escape Analysis by Abstract Interpretation
Patricia M. Hill and Fausto Spoto [abstract] |