Science of Computer Programming, Volume 5

Volume 5, Number 1, February 1985

• C. J. Kooken: Algebraic Specification and Verification of Communicating Protocols. 1-36
• Douglas R. Smith: The Design of Divide and Conquer Algorithms. 37-58
• Andrzej Tarlecki: A Language of Specified Programs. 59-81
• Fahimeh Jalili: A General Incremental Evaluator for Attribute Grammars. 83-96
• Martin Rem: Small Programming Exercises 6. 97-106

Volume 5, Number 2, June 1985

• Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko: Showing Programs on a Screen. 111-142
• Lawrence C. Paulson: Verifying the Unification Algorithm in LCF. 143-169
• Jan A. Bergstra, J. V. Tucker: Top-Down Design and the Algebra of Communicating Processes. 171-199
• Jean-Pierre Finance, Jeanine Souquières: A method and a language for constructing iterative programs. 201-218

Volume 5, Number 3, October 1985

• Jeanine Souquières, Jean-Pierre Finance: Description and Improvement of Iterative Program Transformations. 233-264
• Alain J. Martin: Distributed Mutual Exclusion on a Ring of Processes. 265-276
• Abha Moitra: Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs. 277-307
• Martin Rem: Small Programming Exercises 7. 309-316