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

Volume 22, Number 3, June 1994

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