| dc.contributor.author | Near, Joseph Paul | |
| dc.contributor.author | Jackson, Daniel | |
| dc.date.accessioned | 2011-05-19T19:16:57Z | |
| dc.date.available | 2011-05-19T19:16:57Z | |
| dc.date.issued | 2010-02 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/62846 | |
| dc.description.abstract | We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present a translation from our extended language to the existing first-order logic of the Alloy Analyzer, allowing for efficient analysis of models. | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant 0541183) | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant 0707612) | en_US |
| dc.description.sponsorship | Northrop Grumman Cybersecurity Research Consortium | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Springer | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1007/978-3-642-11811-1_10 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike 3.0 | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/ | en_US |
| dc.source | MIT web domain | en_US |
| dc.title | An imperative extension to Alloy | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Near, Joseph, and Daniel Jackson. “An Imperative Extension to Alloy.” Abstract State Machines, Alloy, B and Z. Springer Berlin / Heidelberg, 2010. 118-131-131. Copyright © 2010, Springer | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.approver | Jackson, Daniel | |
| dc.contributor.mitauthor | Near, Joseph Paul | |
| dc.contributor.mitauthor | Jackson, Daniel | |
| dc.relation.journal | Abstract state machines, alloy, B and Z (International Conference : 2010) (Lecture notes in computer science, v. 5977) | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| dspace.orderedauthors | Near, Joseph P.; Jackson, Daniel | en |
| dc.identifier.orcid | https://orcid.org/0000-0003-4864-078X | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
