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
Christian Lengauer: A Methodology for Programming with Concurrency: The Formalism. 19-52
John V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. 53-68
Stephan Heilbrunner, Werner Pohlmann: A Technique for Recursion Removal Based on String Homomorphisms. 69-81

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

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