Higher-Order and Symbolic Computation
Volume 16, Issue 1/2 (March/June 2003) Special Issue in memory of Bob Paige
| pp. 5-6 |
Editorial
Olivier Danvy, Fritz Henglein, Harry Mairson and Alberto Pettorossi [editorial] |
| pp. 7-13 |
Research Retrospective
Bob Paige [full text | local copy] |
| pp. 15-35 |
Universal Regular Path Queries
Oege de Moor, David Lacey and Eric Van Wyk [abstract | full text] |
| pp. 37-62 |
Dynamic Programming via Static Incrementalization
Yanhong A. Liu and Scott D. Stoller [abstract | full text] |
| pp. 63-92 |
Program Synthesis from Formal Requirements Specifications Using APTS
Elizabeth I. Leonard and Constance L. Heitmeyer [abstract | full text] |
| pp. 93-149 |
Computational Divided Differencing and Divided-Difference Arithmetics
Thomas W. Reps and Louis B. Rall [abstract | full text] |
Volume 16, Issue 3 (September 2003)
| p. 159 |
Editorial
David Basin, Olivier Danvy, Julian Padget and Carolyn Talcott [editorial] |
| pp. 161-202 |
Formal Foundations of Operational Semantics
Jonathan Ford and Ian A. Mason [abstract | full text] |
| pp. 203-251 |
Comparing Parallel Functional Languages: Programming and Performance
H-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G.J. Michaelson, R. Pena, S. Priebe, A.J. Rebon and P.W. Trinder [abstract | full text] |
| pp. 253-285 |
Strong Normalization from Weak Normalization by Translation into
the lambda-I-calculus
Inge Li Gørtz, Signe Reuss and Morten Heine Sørensen [abstract | full text] |
Volume 16, Issue 4 (December 2003) Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)
| p. 295 |
Editorial
Olivier Danvy and Peter Thiemann [editorial] |
| pp. 297-339 |
Non-standard semantics for program slicing
Roberto Giacobazzi and Isabella Mastroeni [abstract | full text] |
| pp. 341-377 |
Path Dependent Analysis of Logic Programs
Lunjin Lu [abstract | full text] |
| pp. 379-400 |
Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski, Guy Blelloch and Robert Harper [abstract | full text] |
| p. 401 |
Corrigendum: Polymorphic Type Assignment and CPS Conversion
Robert Harper and Mark Lillibridge [full text | local copy] |