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
  
• Germán Vidal:
  Cost-Augmented Partial Evaluation of Functional Logic Programs. 7-46
  
• Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
  Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. 47-92
  
• Siau-Cheng Khoo, Kun Shi:
  Program Adaptation via Output-Constraint Specialization. 93-128
  
• Janis Voigtländer:
  Using Circular Programs to Deforest in Accumulating Parameters. 129-163
  

Volume 17, Number 3, September 2004

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

Volume 17, Number 4, December 2004

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

Last update Wed May 22 18:04:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page