Semantic constructions for the specification of objects

DOI10.1016/S0304-3975(00)00120-1zbMath0973.68149MaRDI QIDQ5941157

Corina Cîrstea

Publication date: 20 August 2001

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

zbMATH Keywords

semanticsalgebraic specificationcofree algebrafinal algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Families of Symmetries as Efficient Models of Resource Binding ⋮ Symmetries, local names and dynamic (de)-allocation of names

Cites Work

• Coalgebraic logic
• A hidden agenda
• Universal coalgebra: A theory of systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantic constructions for the specification of objects