Volume 1,
Numbers 1-2,
October 1981
- Michel Sintzoff:
Editorial.
1-2
- Edsger W. Dijkstra:
A Word of Welcome.
3-4
- Zohar Manna:
Deductive Synthesis of the Unification Algorithm.
5-48
- C. A. R. Hoare:
A Calculus of Total Correctness for Communicating Processes.
49-72
- Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples.
73-114
- Eike Best, Flaviu Cristian:
Systematic Detection of Exception Occurrences.
115-144
- W. H. J. Feijen:
Bulterman's Reshuffling Problem.
145-147
Volume 1,
Number 3,
May 1982
- Bernard Sufrin:
Formal Specification of a Display-Oriented Text Editor.
157-202
- Ravi Sethi:
Circular Expressions: Elimination of Static Environments.
203-222
- Edsger W. Dijkstra:
Smoothsort, an Alternative for Sorting In Situ.
223-233 ,
Errata:
Science of Computer Programming 2(1):
85 (1982)
- Lothar Schmitz:
An Exercise in Program Synthesis: Algorithms for Computing the Transitive Closure of a Relation.
235-254
Copyright © Wed Nov 11 05:33:56 2009
by Michael Ley (ley@uni-trier.de)
