Journals in DBLP

ACM Trans. Program. Lang. Syst.
2005, volume: 27, number: 2

1. Radu Rugina, Martin C. Rinard
   Symbolic bounds analysis of pointers, array indices, and accessed memory regions. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:185-235 [Journal]
   
2. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
   Dealing with incomplete knowledge on CLP(FD) variable domains. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:236-263 [Journal]
   
3. Atsushi Igarashi, Naoki Kobayashi
   Resource usage analysis. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:264-313 [Journal]
   
4. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
   Polymorphic predicate abstraction. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:314-343 [Journal]
   
5. François Pottier, Christian Skalka, Scott F. Smith
   A systematic approach to static access control. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:344-382 [Journal]