From static to dynamic abstract data-types: An institution transformation

DOI10.1016/S0304-3975(98)00125-XzbMath0914.68134WikidataQ122141147 ScholiaQ122141147MaRDI QIDQ1285655

Elena Zucca

Publication date: 28 April 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

institutionsdynamic systemsalgebraic approachdynamic abstract data-types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• May I borrow your logic? (Transporting logical structures along maps)
• A free construction of dynamic terms
• Institutions: abstract model theory for specification and programming
• D-oids: a model for dynamic data-types
• Relations as abstract datatypes: An institution to specify relations between algebras
• Behavioural satisfaction and equivalence in concrete model categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From static to dynamic abstract data-types: An institution transformation