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
  

Last update Mon May 20 03:05:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page