Volume 6, Number 1, January 1986

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

Volume 6, Number 2, March 1986

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

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
• 
  Jon Fairbairn: A New Type-Checker for a Functional Language. 273-290
• 
  William Stoye: Message-Based Functional Operating Systems. 291-311
• 
  Martin Rem: Small Programming Exercises 11. 313-318

last updated on Sat May 25 04:26:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page