Science of Computer Programming, Volume 35

Volume 35, Number 1, September 1999

• Oege de Moor, Jeremy Gibbons: Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. 3-27
• Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. 29-75

Volume 35, Numbers 2-3, November 1999

• Alexander Aiken: Introduction to Set Constraint-Based Program Analysis. 79-111
• Jürgen Brauburger, Jürgen Giesl: Approximating the Domains of Functional and Imperative Programs. 113-136
• Christian Fecht, Helmut Seidl: A Faster Solver for General Systems of Equations. 137-161
• Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. 163-189
• Jakob Rehof, Torben Æ. Mogensen: Tractable Constraints in Finite Semilattices. 191-221
• Arnaud Venet: Automatic Analysis of Pointer Aliasing for Untyped Programs. 223-248