Science of Computer Programming, Volume 34

Volume 34, Number 1, April 1999

• Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer: Graph Transformation for Specification and Programming. 1-54 BibTeX
• Uwe Meyer: Correctness of On-Line Partial Evaluation for a Pascal-Like Language. 55-73 BibTeX

Volume 34, Number 2, June 1999

• Laura Semini, Carlo Montangero: A Refinement Calculus for Tuple Spaces. 79-140 BibTeX
• Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. 141-158 BibTeX

Volume 34, Number 3, July 1999

• Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. 163-190 BibTeX
• Eric C. R. Hehner: Specifications, Programs, and Total Correctness. 191-205 BibTeX
• Mauricio Osorio, Bharat Jayaraman, David A. Plaisted: Theory of Partial-Order Programming. 207-238 BibTeX