Conference
Taking Alloy to the Movies
Abstract
We present a modified semantics and an extension of the Alloy specification language. The results presented in this paper are: (a) We show how the modified semantics of Alloy allows us to avoid the higher-order quantification currently used both in the composition of operations and in specifications, keeping the language first-order. (b) We show how the extended language, which includes features from dynamic logic, enables a cleaner (with …
Authors
Frias MF; López Pombo CG; Baum GA; Aguirre NM; Maibaum T
Series
Lecture Notes in Computer Science
Volume
2805
Pagination
pp. 678-697
Publisher
Springer Nature
Publication Date
2003
DOI
10.1007/978-3-540-45236-2_37
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743