Journals in DBLP

Sci. Comput. Program.
1999, volume: 35, number: 2

1. Alexander Aiken
   Introduction to Set Constraint-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:79-111 [Journal]
   
2. Jürgen Brauburger, Jürgen Giesl
   Approximating the Domains of Functional and Imperative Programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:113-136 [Journal]
   
3. Christian Fecht, Helmut Seidl
   A Faster Solver for General Systems of Equations. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:137-161 [Journal]
   
4. Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt
   Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:163-189 [Journal]
   
5. Jakob Rehof, Torben Æ. Mogensen
   Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:191-221 [Journal]
   
6. Arnaud Venet
   Automatic Analysis of Pointer Aliasing for Untyped Programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1999, v:35, n:2, pp:223-248 [Journal]