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 BibTeX
• Hans Zantema: Longest Segment Problems. 39-66 BibTeX
• Fatma Mili, Ali Mili: Heuristics for Constructing While Loops. 67-106 BibTeX
• Maritta Heisel: Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. 107-137 BibTeX

Volume 18, Number 2, April 1992

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

Volume 18, Number 3, June 1992

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