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
Last update Fri May 17 20:44:50 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page