On abstract data types presented by multiequations

• Autoři: ADÁMEK J.; HÉBERT M.; ROSICKÝ J.
• Rok publikování: 2002
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Theoretical Computer Science
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Klíčová slova: abstract data type; multiequation
• Popis: 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.

Související projekty

• Kategoriální metody teorie struktur a informatiky
• Matematické struktury algebry a geometrie