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 BibTeX
J. Michael Spivey: A Functional Theory of Exceptions. 25-42 BibTeX
Oliver Schoett: Behavioural Correctness of Data Representations. 43-57 BibTeX
Peter Dybjer: Comparing Integrated and External Logics of Functional Programs. 59-79 BibTeX
Clement A. Baker-Finch: The (Algebraic) Congruence of Two Programming Language Definitions. 81-96 BibTeX
Martin Rem: Small Programming Exercises 24. 97-101 BibTeX

Special Issue on Mathematics of Program Construction

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