Conference
An Equational Calculus for Alloy
Abstract
In this paper we show that, by translating Alloy formulas to formulas in the language of fork algebras, we obtain a complete, equational, and purely relational calculus for Alloy.
Authors
Frias MF; Pombo CGL; Aguirre NM
Series
Lecture Notes in Computer Science
Volume
3308
Pagination
pp. 162-175
Publisher
Springer Nature
Publication Date
2004
DOI
10.1007/978-3-540-30482-1_19
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743