INVESTIGADORES
LOPEZ POMBO Carlos Gustavo
artículos
Título:
An equational calculus for Alloy
Autor/es:
FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO; AGUIRRE, NAZARENO M.
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer Verlag
Referencias:
Lugar: Berlin, Germany; 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.
