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
Special Issue on
SAS'96
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
Copyright ©
Sat Nov 28 22:33:30 2009 by
Michael Ley
(
ley@uni-trier.de
)