Journals in DBLP

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

1. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
   A provenly correct translation of Fickle into Java. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
2. Martin P. Ward, Hussein Zedan
   Slicing as a program transformation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
3. Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind
   Fast online pointer analysis. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
4. Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
   Termination analysis of logic programs through combination of type-based norms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
5. Olivier Tardieu
   A deterministic logical semantics for pure Esterel. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
6. Xiaotong Zhuang, Santosh Pande
   Allocating architected registers through differential encoding. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
   
7. Jaydeep Marathe, Frank Mueller, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo
   METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]