Journals in DBLP
Michael Leuschel A framework for the integration of partial evaluation and abstract interpretation of logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:413-463 [Journal ] Abhik Roychoudhury , K. Narayan Kumar , C. R. Ramakrishnan , I. V. Ramakrishnan An unfold/fold transformation framework for definite logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:464-509 [Journal ] Sabine Glesner , Wolf Zimmermann Natural semantics as a static program analysis framework. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:510-577 [Journal ] Aaron W. Keen , Tingjian Ge , Justin T. Maris , Ronald A. Olsson JR: Flexible distributed programming in an extended Java. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:578-608 [Journal ]