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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-30482-1_19 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Identity function,Fork (system call),Discrete mathematics,Relational calculus,Binary relation,Relational algebra,Formal methods,Alloy,Transitive closure,Calculus,Mathematics | Conference | 3308 |
ISSN | Citations | PageRank |
0302-9743 | 9 | 0.91 |
References | Authors | |
13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcelo F. Frias | 1 | 295 | 35.57 |
Carlos G. Lopez Pombo | 2 | 144 | 8.51 |
Nazareno M. Aguirre | 3 | 119 | 12.03 |