Science of Computer Programming, Volume 7

Volume 7, Number 1, July 1986

• Thomas A. Joseph, Thomas Räuchle, Sam Toueg:
  State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. 1-22
  
• M. van der Nat, Alex A. Verrijn-Stuart:
  Analysing a Class of Distributive Partitioning Sort Algorithms. 23-33
  
• Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
  Algebraic Implementations Preserve Program Correctness. 35-53
  
• Jan L. A. van de Snepscheut:
  A Derivation of a Distributed Implementation of Warshall's Algorithm. 55-60
  
• Frédéric Voisin:
  CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. 61-86
  
• Martin Rem:
  Small Programming Exercises 12. 87-97
  

Volume 7, Number 2, September 1986

• Helmuth Partsch:
  Transformational Program Development in a Particular Program Domain. 99-241
  
• Martin Rem:
  Small Programming Exercises 13. 243-248
  

Volume 7, Number 3, November 1986

• Geoffrey L. Burn, Chris Hankin, Samson Abramsky:
  Strictness Analysis for Higher-Order Functions. 249-278
  
• Mark B. Josephs:
  Functional Programming with Side-Effects. 279-296
  
• Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
  Compiling and Optimizing Methods for the Functional Language ASL/F. 297-312
  
• Martin Rem:
  Small Programming Exercises 14. 313-319
  

Last update Sat May 25 20:59:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page