Semantic constructions for the specification of objects

DOI10.1016/S0304-3975(00)00120-1MaRDI QIDQ5941157zbMATH OpenFDO

Authors Corina Cîrstea

Publication date 20 August 2001

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

Full work available at URL https://eprints.soton.ac.uk/259095/1/tcs.pdf

zbMATH Keywords

algebraic specificationcofree algebrafinal algebrasemantics

Mathematics Subject Classification ID

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

Recommendations

• Semantic constructions for hidden algebra
• Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
• Hidden algebra for software engineering
• Hiding more of hidden algebra
• scientific article; zbMATH DE number 1543338

Cites work

• A completeness result for equational deduction in coalgebraic specification
• A hidden agenda
• Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
• Coalgebraic logic
• Hidden congruent deduction
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3667032 (Why is no real title available?)
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• On fibred adjunctions and completeness for fibred categories
• Towards an algebraic semantics for the object paradigm
• Universal coalgebra: A theory of systems

Cited in

(16)

• Denotational semantics of object specification
• A semantics for complex objects and approximate answers
• Behavioural specification for hierarchical object composition
• Families of symmetries as efficient models of resource binding
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• A hidden Herbrand theorem
• Hiding more of hidden algebra
• Hidden algebra for software engineering
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• Co-universal algebraic extension with hidden parameters
• Specification semantics
• Semantic constructions for hidden algebra
• Constructive Specifications for Compositional Units
• Verification, Model Checking, and Abstract Interpretation
• Symmetries, local names and dynamic (de)-allocation of names
• Coinduction for preordered algebra

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

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