Volume 1,
Numbers 1-2,
October 1981
- Michel Sintzoff:
Editorial.
1-2 BibTeX
- Edsger W. Dijkstra:
A Word of Welcome.
3-4 BibTeX
- Zohar Manna:
Deductive Synthesis of the Unification Algorithm.
5-48 BibTeX
- C. A. R. Hoare:
A Calculus of Total Correctness for Communicating Processes.
49-72 BibTeX
- 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 BibTeX
- Eike Best, Flaviu Cristian:
Systematic Detection of Exception Occurrences.
115-144 BibTeX
- W. H. J. Feijen:
Bulterman's Reshuffling Problem.
145-147 BibTeX
Volume 1,
Number 3,
May 1982
- Bernard Sufrin:
Formal Specification of a Display-Oriented Text Editor.
157-202 BibTeX
- Ravi Sethi:
Circular Expressions: Elimination of Static Environments.
203-222 BibTeX
- Edsger W. Dijkstra:
Smoothsort, an Alternative for Sorting In Situ.
223-233 BibTeX
,
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 BibTeX
Copyright © Sun May 17 00:18:36 2009
by Michael Ley (ley@uni-trier.de)
