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