External Links

Journal: Science of Computer Programming

Volume 35, Issue 2

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

Volume 35, Issue 1

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