id="info"

Unifying Execution of Imperative and Declarative Code

The authors present a uni ed environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, written in first-order relational logic with transitive closure, and the imperative language is Java. By being able to mix imperative code with executable declarative specifications, the user can easily express constraint problems in place, i.e., in terms of the existing data structures and objects on the heap. After a solution is found, the heap is updated to reflect the solution, so the user can continue to manipulate the program heap in the usual imperative way.

Provided by: Association for Computing Machinery Topic: Software Date Added: May 2011 Format: PDF

Find By Topic