Science of Computer Programming, Volume 24

Volume 24, Number 1, February 1995

Yanhong A. Liu, Tim Teitelbaum: Systematic Derivation of Incremental Programs. 1-39 BibTeX
Carlos José Pereira de Lucena, Paulo S. C. Alencar: A Formal Description of Evolving Software Systems Architectures. 41-61 BibTeX
F. A. van Gilst, P. M. van den Broek: A New Programming Technique for Lazy Functional Languages. 63-81 BibTeX
Peter G. Harrison, R. Lyndon While: Transformation of Polynomial Evaluation to a Pipeline via Horner's Rule. 83-95 BibTeX

Scott D. Stoller, Fred B. Schneider: Verifying Programs That Use Causally-Ordered Message-Passing. 105-128 BibTeX
K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. 129-148 BibTeX , Erratum: Science of Computer Programming 29(3): 335 (1997)
Anne Kaldewaij, Laurens de Vries: The Matrix as In-Situ Data Structure. 149-158 BibTeX
David Scholefield: Proving Properties of Real-Time Semaphores. 159-181 BibTeX

Bard Bloom, Robert Paige: Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem. 189-220 BibTeX
Richard Banach: On Regularity in Software Design. 221-248 BibTeX
Egon Börger, Dean Rosenzweig: A Mathematical Definition of Full Prolog. 249-286 BibTeX