External Links

Journal: Science of Computer Programming

Volume 6, Issue 3

213 -- 272N. W. P. van Diepen, Willem P. de Roever. Program Derivation Through Transformations: The Evolution of List-Copying Algorithms
273 -- 290Jon Fairbairn. A New Type-Checker for a Functional Language
313 -- 318Martin Rem. Small Programming Exercises 11

Volume 6, Issue 2

103 -- 134John V. Guttag, James J. Horning. Report on the Larch Shared Language
135 -- 157John V. Guttag, James J. Horning. A Larch Shared Language Handbook
159 -- 189Richard S. Bird. Transformational Programming and the Paragraph Problem
191 -- 205Krzysztof Zielinski. Model of Error Propagation in Systems of Communicating Processes
207 -- 211Martin Rem. Small Programming Exercises 10

Volume 6, Issue 1

1 -- 9Robert McCurley, Fred B. Schneider. Derivation of a Distributed Algorithm for Finding Paths in Directed Networks
11 -- 34Françoise Bellegarde. Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded
35 -- 88Nissim Francez, Brent Hailpern, Gadi Taubenfeld. Script: A Communication Abstraction Mechanism and Its Verification
89 -- 94J. G. Wiltink. Two Most Nondeterministic Programs
95 -- 102Martin Rem. Small Programming Exercises 9
runs on