Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 26 Issue 3, May 2004

A framework for the integration of partial evaluation and abstract interpretation of logic programs
Michael Leuschel
Pages: 413-463
DOI: 10.1145/982158.982159
Recently the relationship between abstract interpretation and program specialization has received a lot of scrutiny, and the need has been identified to extend program specialization techniques so as to make use of more refined abstract domains and...

An unfold/fold transformation framework for definite logic programs
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
Pages: 464-509
DOI: 10.1145/982158.982160
Given a logic program P, an unfold/fold program transformation system derives a sequence of programs P = P0, P1, …, Pn, such that Pi+1 is...

Natural semantics as a static program analysis framework
Sabine Glesner, Wolf Zimmermann
Pages: 510-577
DOI: 10.1145/982158.982161
Natural semantics specifications have become mainstream in the formal specification of programming language semantics during the last 10 years. In this article, we set up sorted natural semantics as a specification framework which is able to express...

JR: Flexible distributed programming in an extended Java
Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
Pages: 578-608
DOI: 10.1145/982158.982162
Java provides a clean object-oriented programming model and allows for inherently system-independent programs. Unfortunately, Java has a limited concurrency model, providing only threads and remote method invocation (RMI).The JR programming language...