Journals in DBLP

Sci. Comput. Program.
2007, volume: 64, number: 1

1. Roberto Giacobazzi
   Foreword. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:1-2 [Journal]
   
2. Torben Amtoft, Anindya Banerjee
   A logic for information flow analysis with an application to forward slicing of simple imperative programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:3-28 [Journal]
   
3. David A. Schmidt
   A calculus of logical relations for over- and underapproximating static analyses. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:29-53 [Journal]
   
4. Enric Rodríguez-Carbonell, Deepak Kapur
   Automatic generation of polynomial invariants of bounded degree using abstract interpretation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:54-75 [Journal]
   
5. Michael Colón
   Polynomial approximations of the relational semantics of imperativeprograms. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:76-96 [Journal]
   
6. Sumit Gulwani, George C. Necula
   A polynomial-time algorithm for global value numbering. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:97-114 [Journal]
   
7. Robert Clarisó, Jordi Cortadella
   The octahedron abstract domain. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:115-139 [Journal]
   
8. Cormac Flanagan, Stephen N. Freund
   Type inference against races. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:140-165 [Journal]
   
9. Sarah Thompson, Alan Mycroft
   Abstract interpretation of combinational asynchronous circuits. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:166-183 [Journal]