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

• 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