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