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...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| 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 |