Journals in DBLP

J. Log. Program.
1992, volume: 13, number: 2&3

1. Saumya K. Debray
   Guest Editor`s Introduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:99-101 [Journal]
   
2. Patrick Cousot, Radhia Cousot
   Abstract Interpretation and Application to Logic Programs. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:103-179 [Journal]
   
3. Kim Marriott, Harald Søndergaard
   Bottom-Up Dataflow Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:181-204 [Journal]
   
4. G. Janssen, Maurice Bruynooghe
   Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:205-258 [Journal]
   
5. William H. Winsborough
   Multiple Specialization using Minimal-Function Graph Semantics. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:259-290 [Journal]
   
6. Dean Jacobs, Anno Langen
   Static Analysis of Logic Programs for Independent And-Parallelism. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:291-314 [Journal]
   
7. Kalyan Muthukumar, Manuel V. Hermenegildo
   Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:13, n:2&3, pp:315-347 [Journal]