The behavior-realization adjunction and generalized homomorphic relations

DOI10.1016/S0304-3975(97)87172-1zbMath0901.68123WikidataQ122861415 ScholiaQ122861415MaRDI QIDQ1391868

Don Pigozzi, Gray T. Leavens

Publication date: 23 July 1998

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

zbMATH Keywords

abstract data types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

A Mathematical Life ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ State-level and value-level simulations in data refinement

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Behavioural correctness of data representations
• On hierarchies of abstract data types
• Non-deterministic data types: Models and implementations
• On observational equivalence and algebraic specification
• Final algebra semantics and data type extensions
• Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
• The algebraic specification of abstract data types
• The behavior-realization adjunction and generalized homomorphic relations
• Logical relations and the typed λ-calculus
• Realization is universal
• Typed homomorphic relations extended with subtypes

This page was built for publication: The behavior-realization adjunction and generalized homomorphic relations