INVESTIGADORES
FRIAS Marcelo Fabian
artículos
Título:
A Complete Equational Calculus for Alloy
Autor/es:
FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Año: 2004 vol. 3308 p. 162 - 175
ISSN:
0302-9743
Resumen:
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.
