Science of Computer Programming, Volume 14

Volume 14, Number 1, June 1990

• A. J. J. M. Marcelis:
  On the Classification of Attribute Evaluation Algorithms. 1-24
  
• J. Michael Spivey:
  A Functional Theory of Exceptions. 25-42
  
• Oliver Schoett:
  Behavioural Correctness of Data Representations. 43-57
  
• Peter Dybjer:
  Comparing Integrated and External Logics of Functional Programs. 59-79
  
• Clement A. Baker-Finch:
  The (Algebraic) Congruence of Two Programming Language Definitions. 81-96
  
• Martin Rem:
  Small Programming Exercises 24. 97-101
  

Volume 14, Numbers 2-3, October 1990

• Jan L. A. van de Snepscheut: Foreword (Special Issue on Mathematics of Program Construction). 113-115
• K. Mani Chandy:
  Reasoning About Continuous Systems. 117-132
  
• Eric C. R. Hehner:
  A Practical Theory of Programming. 133-158
  
• Jayadev Misra:
  Specifying Concurrent Objects as Communicating Processes. 159-184
  
• E. Pascal Gribomont:
  Stepwise Refinement and Concurrency: The Finite-State Case. 185-228
  
• Anne Kaldewaij, Martin Rem:
  The Derivation of Systolic Computations. 229-242
  
• Anne Kaldewaij, Berry Schoenmakers:
  Searching by Elimination. 243-254
  
• Grant Malcolm:
  Data Structures and Program Transformation. 255-279
  
• Carroll Morgan, Trevor Vickers:
  Types and Invariants in the Refinement Calculus. 281-304
  
• Douglas R. Smith, Michael R. Lowry:
  Algorithm Theories and Design Tactics. 305-321
  

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