Unifying Execution of Imperative and Declarative Code

Unifying Execution of Imperative and Declarative Code

We present a unified 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 impe...

Full description

Bibliographic Details
Main Authors: Milicevic, Aleksandar, Rayside, Derek, Yessenov, Kuat T., Jackson, Daniel
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery 2012
Online Access:http://hdl.handle.net/1721.1/72084
https://orcid.org/0000-0001-5959-5254
https://orcid.org/0000-0003-4864-078X

Internet

http://hdl.handle.net/1721.1/72084
https://orcid.org/0000-0001-5959-5254
https://orcid.org/0000-0003-4864-078X

Similar Items