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: | 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 |
Similar Items
-
Agile specifications
by: Rayside, Derek, et al.
Published: (2011) -
Program synthesis from execution traces and demonstrations
by: Yessenov, Kuat T
Published: (2016) -
Stepwise refinement of heap-manipulating code in Chalice
by: Leino, K. Rustan M., et al.
Published: (2016) -
A quantitative investigation of the imperative-and-declarative construction in English
by: Scontras, Gregory, et al.
Published: (2012) -
Advancing declarative programming
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2015)