Science 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, R. 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 , Erratum: Science of Computer Programming 29(3): 335 (1997)
• 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