Science of Computer Programming, Volume 7

Volume 7, Number 1, July 1986

• Thomas A. Joseph, Thomas Räuchle, Sam Toueg: State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. 1-22
• M. van der Nat, Alex A. Verrijn-Stuart: Analysing a Class of Distributive Partitioning Sort Algorithms. 23-33
• Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. 35-53
• Jan L. A. van de Snepscheut: A Derivation of a Distributed Implementation of Warshall's Algorithm. 55-60
• Frédéric Voisin: CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. 61-86
• Martin Rem: Small Programming Exercises 12. 87-97

Volume 7, Number 2, September 1986

• Helmuth Partsch: Transformational Program Development in a Particular Program Domain. 99-241
• Martin Rem: Small Programming Exercises 13. 243-248

Volume 7, Number 3, November 1986

• Geoffrey L. Burn, Chris Hankin, Samson Abramsky: Strictness Analysis for Higher-Order Functions. 249-278
• Mark B. Josephs: Functional Programming with Side-Effects. 279-296
• Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami: Compiling and Optimizing Methods for the Functional Language ASL/F. 297-312
• Martin Rem: Small Programming Exercises 14. 313-319