Science of Computer Programming, Volume 18

Volume 18, Number 1, January 1992

• Andreas Maaßen: Parallel Programming with Data Structures and Higher Order Functions. 1-38
• Hans Zantema: Longest Segment Problems. 39-66
• Fatma Mili, Ali Mili: Heuristics for Constructing While Loops. 67-106
• Maritta Heisel: Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. 107-137

Volume 18, Number 2, April 1992

• Eerke A. Boiten: Improving Recursive Functions by Inverting the Order of Evaluation. 139-179
• Chris Reade: Balanced Trees with Removals: An Exercise in Rewriting and Proof. 181-204

Volume 18, Number 3, June 1992

• Jo C. Ebergen: Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components. 223-245
• Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond: Minimal State Graph Generation. 247-269
• Paul H. B. Gardiner, Paritosh K. Pandya: Reasoning Algebraically about Recursion. 271-280
• Richard S. Bird: The Smallest Upravel. 281-292