Higher-Order and Symbolic Computation, Volume 16

Volume 16, Number 1-2, March-June 2003

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

Volume 16, Number 3, September 2003

• Jonathan Ford, Ian A. Mason:
  Formal Foundations of Operational Semantics. 161-202
  Electronic Edition (link) BibTeX
• Hans-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. 203-251
  Electronic Edition (link) BibTeX
• Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen:
  Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. 253-285
  Electronic Edition (link) BibTeX

Volume 16, Number 4, December 2003

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