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