The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002