default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 1
Volume 1, Numbers 1-2, October 1981
- Michel Sintzoff:
Editorial. 1-2 - Edsger W. Dijkstra:
A Word of Welcome. 3-4 - Zohar Manna, Richard J. Waldinger:
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 - Lothar Schmitz:
An Exercise in Program Synthesis: Algorithms for Computing the Transitive Closure of a Relation. 235-254
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
