Abstract | ||
---|---|---|
Abstract: It is the aim of this paper to demonstrate that the notion of Di-algebras,introduced by T. Hagino, may be used to unify algebraic specifications of ADT's withthe basic ideas of evolving algebras (E--algebras for short) which use static algebras asstates of dynamic systems. The resulting specification formalism is based on initialand terminal constraints of quasi varieties of Di--algebras. Initial constraints defineabstract data types and terminal constraints define types of behaviors... |
Year | Venue | Keywords |
---|---|---|
1996 | Bulletin of the EATCS | data type,dynamic system |
Field | DocType | Volume |
Discrete mathematics,Algebra,Theoretical computer science,Mathematics | Journal | 59 |
Citations | PageRank | References |
4 | 0.52 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Horst Reichel | 1 | 260 | 32.02 |