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
  
• 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 update Fri May 24 20:47:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page