Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ]