Publication details
On abstract data types presented by multiequations
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Periodical |
| Magazine / Source | Theoretical Computer Science |
| MU Faculty or unit | |
| Citation | |
| Field | General mathematics |
| Keywords | abstract data type; multiequation |
| Description | Equational presentation of abstract data types is generalized to presentation by multiequations, i.e., exclusive-or's of equations, in order to capture parametric data types such as array or set. Multiinitial-algebra sematics for such data types is introduced. Classes of algebras described by multiequations are characterized. |
| Related projects: |