The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Program. Lang. Syst.
2007, volume: 29, number: 5

  1. Markus Müller-Olm, Helmut Seidl
    Analysis of modular arithmetic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  2. Mooly Sagiv
    Introduction to special ESOP'05 issue. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  3. Bodil Biering, Lars Birkedal, Noah Torp-Smith
    BI-hyperdoctrines, higher-order separation logic, and abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  4. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    Enforcing resource bounds via static verification of dynamic checks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  5. Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
    A type discipline for authorization policies. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  6. Xavier Rival, Laurent Mauborgne
    The trace partitioning abstract domain. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
  7. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
    A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [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