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 BibTeX
• Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. 29-75 BibTeX

Volume 35, Numbers 2-3, November 1999

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