Journals in DBLP
Adam L. Buchsbaum , Haim Kaplan , Anne Rogers , Jeffery Westbrook Corrigendum: a new, simpler linear-time dominators algorithm. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:383-387 [Journal ] Christian Schulte , Peter J. Stuckey When do bounds and domain propagation lead to the same search space? [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:388-425 [Journal ] Dibyendu Das , U. Ramakrishna A practical and fast iterative algorithm for phi-function computation using DJ graphs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:426-440 [Journal ] Luc Moreau , Christian Queinnec Resource aware programming. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:441-476 [Journal ] George C. Necula , Jeremy Condit , Matthew Harren , Scott McPeak , Westley Weimer CCured: type-safe retrofitting of legacy software. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:477-526 [Journal ] Thi Viet Nga Nguyen , François Irigoin Efficient and effective array bound checking. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:527-570 [Journal ] Max Hailperin Comparing conservative coalescing criteria. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:571-582 [Journal ]