Journals in DBLP

J. Log. Algebr. Program.
2007, volume: 72, number: 2

1. David Clark, Sebastian Danicic, Roberto Giacobazzi
   Special issue on Programming Language Interference and Dependence. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:123- [Journal]
   
2. Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
   Typing noninterference for reactive programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:124-156 [Journal]
   
3. Michael R. Laurence
   Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:157-172 [Journal]
   
4. Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
   Tempus fugit: How to plug it. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:173-190 [Journal]
   
5. Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
   A non-standard semantics for program slicing and dependence analysis. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:191-206 [Journal]
   
6. Nobuko Yoshida, Kohei Honda, Martin Berger
   Linearity and bisimulation. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:72, n:2, pp:207-238 [Journal]