External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 17, Issue 4

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

    Volume 17, Issue 3

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

    Volume 17, Issue 1-2

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