default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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). Sci. Comput. Program. 14(2-3): 113-115 (1990) - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
