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

Special Issue on SAS'96

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