The behavior-realization adjunction and generalized homomorphic relations

DOI10.1016/S0304-3975(97)87172-1MaRDI QIDQ1391868zbMATH OpenWikidataFDO

Authors Gray T. Leavens, Don Pigozzi

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)

Recommendations

• scientific article; zbMATH DE number 3999266
• A complete algebraic characterization of behavioral subtyping
• Behavioural correctness of data representations
• Proving the correctness of behavioural implementations
• scientific article; zbMATH DE number 4074454

Cites work

• scientific article; zbMATH DE number 431771 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 512784 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• Behavioural correctness of data representations
• Final algebra semantics and data type extensions
• Logical relations and the typed λ-calculus
• Non-deterministic data types: Models and implementations
• On hierarchies of abstract data types
• On observational equivalence and algebraic specification
• Realization is universal
• 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
• Typed homomorphic relations extended with subtypes

Cited in

(8)

• scientific article; zbMATH DE number 3999266 (Why is no real title available?)
• scientific article; zbMATH DE number 4049567 (Why is no real title available?)
• Behavioural correctness of data representations
• A systematic study of models of abstract data types
• A mathematical life
• State-level and value-level simulations in data refinement
• The behavior-realization adjunction and generalized homomorphic relations
• On homomorphisms of n-D behaviors

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391868)