default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 24
Volume 24, Number 1, February 1995
- Yanhong A. Liu, Tim Teitelbaum:
Systematic Derivation of Incremental Programs. 1-39 - Carlos José Pereira de Lucena, Paulo S. C. Alencar:
A Formal Description of Evolving Software Systems Architectures. 41-61 - F. A. van Gilst, P. M. van den Broek:
A New Programming Technique for Lazy Functional Languages. 63-81 - Peter G. Harrison
, Ronald Lyndon While:
Transformation of Polynomial Evaluation to a Pipeline via Horner's Rule. 83-95
Volume 24, Number 2, April 1995
- Scott D. Stoller, Fred B. Schneider:
Verifying Programs That Use Causally-Ordered Message-Passing. 105-128 - K. Mani Chandy, Beverly A. Sanders:
Predicate Transformers for Reasoning about Concurrent Computation. 129-148 - Anne Kaldewaij, Laurens de Vries:
The Matrix as In-Situ Data Structure. 149-158 - David Scholefield:
Proving Properties of Real-Time Semaphores. 159-181
Volume 24, Number 3, June 1995
- Bard Bloom, Robert Paige:
Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem. 189-220 - Richard Banach:
On Regularity in Software Design. 221-248 - Egon Börger, Dean Rosenzweig:
A Mathematical Definition of Full Prolog. 249-286
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-04 22:08 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:
