enter search term and/or author name
A framework for the integration of partial evaluation and abstract interpretation of logic programs
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
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
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
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...