Abstract | ||
---|---|---|
Defining equations on constructors of abstract data types (with initial semantics) are used to express that different combinations of constructors generate equal values. In this paper we will study the role of equations on the destructors of terminal coalgebras for the specification of behavior classes. It turns out that equations on the destructors may be used to constrain the behavior by defining subcoalgebras of terminal coalgebras. Defining equations on destructors may be used to formalize safety properties, i.e. properties that have to be invariant with respect to changes of states. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BFb0014435 | COMPASS/ADT |
Keywords | Field | DocType |
terminal coalgebras,abstract data type | Abstract data type,Algebra,Algebraic theory,Invariant (mathematics),Semantics,Mathematics,Defining equation (physics) | Conference |
ISBN | Citations | PageRank |
3-540-59132-X | 12 | 1.73 |
References | Authors | |
4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Hensel | 1 | 89 | 10.50 |
Horst Reichel | 2 | 260 | 32.02 |