External Links

Journal: Science of Computer Programming

Volume 24, Issue 3

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

Volume 24, Issue 2

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

Volume 24, Issue 1

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