Science of Computer Programming, Volume 4

Volume 4, Number 1, April 1984

• Fred B. Schneider, David Gries, Richard D. Schlichting: Fault-Tolerant Broadcasts. 1-15 BibTeX
• Helmuth Partsch: Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. 17-44 BibTeX
• Jean-Raymond Abrial: The Mathematical Construction of a Program. 45-86 BibTeX
• Martin Rem: Small Programming Exercises 3. 87-94 BibTeX

Volume 4, Number 2, August 1984

• Manfred Broy, Friedrich L. Bauer: A Systematic Approach to Language Constructs for Concurrent Programs. 103-139 BibTeX
• Stefan Sokolowski: Partial Correctness: The Term-Wise Approach. 141-157 BibTeX
• Rob Gerth, Willem P. de Roever: A Proof System for Concurrent ADA Programs. 159-204 BibTeX
• Martin Rem: Small Programming Exercises 4. 205-210 BibTeX

Volume 4, Number 3, December 1984

• Robert A. Wagner, Robert Geist: The Crippled Queen Placement Problem. 221-248 BibTeX
• R. K. Shyamasundar: A Simple Livelock-Free Algorithm for Packet Switching. 249-256 BibTeX
• Zohar Manna, Amir Pnueli: Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. 257-289 BibTeX
• Pierre Cointe: Une Extension de VLISP vers les Objets. 291-322 BibTeX
• Martin Rem: Small Programming Exercises 5. 323-333 BibTeX