Volume 9,
Number 1,
August 1987
Volume 9,
Number 2,
October 1987
Volume 9,
Number 3,
December 1987
- Edsger W. Dijkstra:
A Heuristic Explanation of Batcher's Baffler.
213-220
- Peter Pepper:
A Simple Calculus for Program Transformation (Inclusive of Induction).
221-262
- Maarten M. Fokkinga:
A Correctness Proof of Sorting by Means of Formal Procedures.
263-269
- Pierre Boullier, Martin Jourdan:
A New Error Repair and Recovery Scheme for Lexical and Syntactic Analysis.
271-286
- Joseph M. Morris:
A Theoretical Basis for Stepwise Refinement and the Programming Calculus.
287-306
Copyright © Thu Nov 12 02:07:12 2009
by Michael Ley (ley@uni-trier.de)