Higher-Order and Symbolic Computation, Volume 17

Volume 17, Number 1-2, March-June 2004

• Wei-Ngan Chin, Olivier Danvy, Peter Thiemann:
  Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. 5-6
  Electronic Edition (link) BibTeX
• Germán Vidal:
  Cost-Augmented Partial Evaluation of Functional Logic Programs. 7-46
  Electronic Edition (link) BibTeX
• Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
  Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. 47-92
  Electronic Edition (link) BibTeX
• Siau-Cheng Khoo, Kun Shi:
  Program Adaptation via Output-Constraint Specialization. 93-128
  Electronic Edition (link) BibTeX
• Janis Voigtländer:
  Using Circular Programs to Deforest in Accumulating Parameters. 129-163
  Electronic Edition (link) BibTeX

Volume 17, Number 3, September 2004

• David A. Basin, Olivier Danvy, Robert Harper:
  Editorial. 171-171
  Electronic Edition (link) BibTeX
• David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
  Compiler Optimization Correctness by Temporal Logic. 173-206
  Electronic Edition (link) BibTeX
• Lars Michael Kristensen, Søren Christensen:
  Implementing Coloured Petri Nets Using a Functional Programming Language. 207-243
  Electronic Edition (link) BibTeX
• Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg:
  A Retrospective on Region-Based Memory Management. 245-265
  Electronic Edition (link) BibTeX

Volume 17, Number 4, December 2004

• Olivier Danvy, Ian A. Mason:
  Editorial. 275-275
  Electronic Edition (link) BibTeX
• Christian Queinnec:
  Continuations and Web Servers. 277-295
  Electronic Edition (link) BibTeX
• Isabella Mastroeni:
  Algebraic Power Analysis by Abstract Interpretation. 297-345
  Electronic Edition (link) BibTeX
• Simon Helsen:
  Bisimilarity for the Region Calculus. 347-394
  Electronic Edition (link) BibTeX