Higher-Order and Symbolic Computation
Volume 17, Issue 1/2 (March-June 2004) Theme issue on Partial Evaluation and Semantics-Based Program Manipulation
| pp. 5-6 |
Editorial
Wei-Ngan Chin, Olivier Danvy, and Peter Thiemann [editorial] |
| pp. 7-46 |
Cost-Augmented Partial Evaluation of Functional Logic Programs
Germán Vidal [abstract | full text] |
| pp. 47-92 |
Specialization Scenarios: A Pragmatic Approach to Declaring Program
Specialization
Anne-Françoise Le Meur, Julia L. Lawall, and Charles Consel [abstract | full text] |
| pp. 93-128 |
Program Adaptation via Output-Constraint Specialization
Siau-Cheng Khoo and Kun Shi [abstract | full text] |
| pp. 129-163 |
Using Circular Programs to Deforest in Accumulating Parameters
Janis Voigtländer [abstract | full text] |
Volume 17, Issue 3 (September 2004)
| p. 171 |
Editorial
David Basin, Olivier Danvy, and Robert Harper [editorial] |
| pp. 173-206 |
Proving Correctness of Compiler Optimizations by Temporal Logic
David Lacey, Neil Jones, Eric Van Wyk, and Carl Christian Frederiksen [abstract | full text] |
| pp. 207-243 |
Implementing Coloured Petri Nets using a Functional Programming Language
Lars Michael Kristensen and Søren Christensen [abstract | full text] |
| pp. 245-265 |
A Retrospective on Region-Based Memory Management
Mads Tofte, Lars Birkedal, Martin Elsman, and Nils Hallenberg [abstract | full text] |
Volume 17, Issue 4 (2004)
| pp. 277 |
Editorial
Olivier Danvy and Ian Mason [editorial] |
| pp. 279-297 |
Continuations and Web Servers
Christian Queinnec [abstract] |
| pp. 299-347 |
Algebraic Power Analysis by Abstract Interpretation
Isabella Mastroeni [abstract] |
| pp. 349-396 |
Bisimilarity for the Region Calculus
Simon Helsen [abstract] |