ACM Transactions on Programming Languages and Systems

413	--	463	Michael Leuschel. A framework for the integration of partial evaluation and abstract interpretation of logic programs
464	--	509	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. An unfold/fold transformation framework for definite logic programs
510	--	577	Sabine Glesner, Wolf Zimmermann. Natural semantics as a static program analysis framework
578	--	608	Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson. JR: Flexible distributed programming in an extended Java

External Links