Science of Computer Programming, Volume 33

Volume 33, Number 1, January 1999

• Sergei Gorlatch: Extracting and Implementing List Homomorphisms in Parallel Program Development. 1-27
• David S. Wise: Undulant-Block Elimination and Integer-Preserving Matrix Inversion. 29-85
• Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. 87-96

Volume 33, Number 2, February 1999

• Daniele Compare, Paola Inverardi, Alexander L. Wolf: Uncovering Architectural Mismatch in Component Behavior. 101-131
• Yamine Aït Ameur: Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers. 133-162
• Loe M. G. Feijs, Rob C. van Ommering: Relation Partition Algebra - Mathematical Aspects of Uses and Part-Of Relations. 163-212

Volume 33, Number 3, March 1999

• Michael J. Butler: Calculational Derivation of Pointer Algorithms from Tree Operations. 221-260
• Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. 261-298