Science of Computer Programming, Volume 5

Volume 5, Number 1, February 1985

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

Volume 5, Number 2, June 1985

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

Volume 5, Number 3, October 1985

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