External Links

Journal: Science of Computer Programming

Volume 18, Issue 3

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

Volume 18, Issue 2

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

Volume 18, Issue 1

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