Science of Computer Programming, Volume 22

Volume 22, Numbers 1-2, April 1994

• Carroll Morgan: Foreword: Special Issue on Mathematics of Program Construction. 1-2
• Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren:
  Calculating Path Algorithms. 3-19
  
• Paul H. B. Gardiner, Clare E. Martin, Oege de Moor:
  An Algebraic Construction of Predicate Transformers. 21-44
  
• H. Peter Hofstee:
  Distributing a Class of Sequential Programs. 45-65
  
• Paul F. Hoogendijk, Roland Carl Backhouse:
  Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. 67-105
  
• Geraint Jones, Mary Sheeran:
  Designing Arithmetic Circuits by Refinement in Ruby. 107-135
  
• Johan J. Lukkien:
  Operational Semantics and Generalized Weakest Preconditions. 137-155
  
• Bernhard Möller, Martin Russling:
  Shorter Paths to Graph Algorithms. 157-180
  

Volume 22, Number 3, June 1994

• Bernd Krieg-Brückner: Foreword: Selected Papers of ESOP'92. 181-182
• Olivier Danvy:
  Back to Direct Style. 183-195
  
• Fritz Henglein:
  Dynamic Typing: Syntax and Proof Theory. 197-230
  
• Mark P. Jones:
  A Theory of Qualified Types. 231-256
  
• Jean-Marie Larchevêque:
  Interprocedural Type Propagation for Object-Oriented Languages. 257-282
  
• Chris Hankin, Sebastian Hunt:
  Approximate Fixed Points in Abstract Interpretation. 283-306
  , Erratum: Science of Computer Programming 23(1): 103 (1994)
• John Hughes, John Launchbury:
  Reversing Abstract Interpretations. 307-326
  
• Flemming Nielson, Hanne Riis Nielson:
  The Tensor Product in Wadler's Analysis of Lists. 327-354
  

Last update Tue Feb 14 04:22:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page