Science of Computer Programming, Volume 2

Volume 2, Number 1, October 1982

Christian Lengauer, Eric C. R. Hehner: A Methodology for Programming with Concurrency: An Informal Presentation. 1-18 BibTeX
Christian Lengauer: A Methodology for Programming with Concurrency: The Formalism. 19-52 BibTeX
John V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. 53-68 BibTeX
Stephan Heilbrunner, Werner Pohlmann: A Technique for Recursion Removal Based on String Homomorphisms. 69-81 BibTeX

Philip E. London, Martin S. Feather: Implementing Specification Freedoms. 91-131 BibTeX
Martin Rem, Yong-il Choo: A Fixed-Space Program of Linear Output Complexity for the Problem of the Three Vessels. 133-141 BibTeX
Jayadev Misra, David Gries: Finding Repeated Elements. 143-152 BibTeX

Tzilla Elrad, Nissim Francez: Decomposition of Distributed Programs into Communication-Closed Layers. 155-173 BibTeX
Leslie Lamport: An Assertional Correctness Proof of a Distributed Algorithm. 175-206 BibTeX
David Gries: A Note on a Standard Strategy for Developing Loop Invariants and Loops. 207-214 BibTeX
Grigori Mints, Enn Tyugu: Justifications of the Structural Synthesis of Programs. 215-240 BibTeX
E. Allen Emerson, Edmund M. Clarke: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. 241-266 BibTeX