Journals in DBLP

ACM Trans. Program. Lang. Syst.
2006, volume: 28, number: 2

1. Martín Abadi, Cormac Flanagan, Stephen N. Freund
   Types for safe locking: Static race detection for Java. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:207-255 [Journal]
   
2. Étienne Payet, Frédéric Mesnard
   Nontermination inference of logic programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:256-289 [Journal]
   
3. Massimo Merro, Matthew Hennessy
   A bisimulation-based semantic theory of Safe Ambients. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:290-330 [Journal]
   
4. Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black
   Traits: A mechanism for fine-grained reuse. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:331-388 [Journal]