130 search results - page 1 / 26 » An Equational Calculus for Alloy |
50
Voted
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
52
Voted
MSV
2008
14 years 11 months ago
2008
The Cahn-Hilliard-Cook equation continues to be a useful model describing binary phase separation in systems such as alloys and other physical and chemical applications. We descri...
76
Voted
LICS
1994
IEEE
15 years 2 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
84
Voted
EUROCAST
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
74
Voted
CL
2000
Springer
14 years 10 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...