Science of Computer Programming, Volume 6

Volume 6, Number 1, January 1986

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

Volume 6, Number 2, March 1986

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

Volume 6, Number 3, May 1986

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