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
• Helmuth Partsch: Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. 17-44
• Jean-Raymond Abrial: The Mathematical Construction of a Program. 45-86
• Martin Rem: Small Programming Exercises 3. 87-94

Volume 4, Number 2, August 1984

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

Volume 4, Number 3, December 1984

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