External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 16, Issue 4

    297 -- 339Roberto Giacobazzi, Isabella Mastroeni. Non-Standard Semantics for Program Slicing
    341 -- 377Lunjin Lu. Path Dependent Analysis of Logic Programs
    379 -- 400Aleksandar Nanevski, Guy E. Blelloch, Robert Harper. Automatic Generation of Staged Geometric Predicates

    Volume 16, Issue 3

    161 -- 202Jonathan Ford, Ian A. Mason. Formal Foundations of Operational Semantics
    203 -- 251Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder. Comparing Parallel Functional Languages: Programming and Performance
    253 -- 285Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen. Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus

    Volume 16, Issue 1-2

    5 -- 6Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi. Editorial: Special Issue Dedicated to Bob Paige
    7 -- 13Bob Paige. Research Retrospective
    15 -- 35Oege de Moor, David Lacey, Eric {Van Wyk}. Universal Regular Path Queries
    37 -- 62Yanhong A. Liu, Scott D. Stoller. Dynamic Programming via Static Incrementalization
    63 -- 92Elizabeth I. Leonard, Constance L. Heitmeyer. Program Synthesis from Formal Requirements Specifications Using APTS
    93 -- 149Thomas W. Reps, Louis B. Rall. Computational Divided Differencing and Divided-Difference Arithmetics
    runs on