Back to Search Start Over

An Imperative Extension to Alloy

Authors :
Daniel Jackson
Joseph P. Near
Source :
Abstract State Machines, Alloy, B and Z ISBN: 9783642118104, ASM
Publication Year :
2010
Publisher :
Springer Berlin Heidelberg, 2010.

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.

Subjects

Subjects :
Condensed Matter::Materials Science
Alloy Analyzer
Computer science
Programming language
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Computer Science::Programming Languages
Action language
Extension (predicate logic)
computer.software_genre
Translation (geometry)
computer

Details

ISBN :
978-3-642-11810-4
ISBNs :
9783642118104
Database :
OpenAIRE
Journal :
Abstract State Machines, Alloy, B and Z ISBN: 9783642118104, ASM
Accession number :
edsair.doi...........6816978706d34fa11f2bb01617be0ede
Full Text :
https://doi.org/10.1007/978-3-642-11811-1_10
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details