Semantic constructions for hidden algebra

DOI10.1007/3-540-48483-3_5MaRDI QIDQ4941926zbMATH OpenFDO

Authors Corina Cîrstea

Publication date 10 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/263007/1/1589.pdf

zbMATH Keywords

algebraic specification formalismhidden algebra

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)

Recommendations

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

Cited in

(10)

• A hidden agenda
• Towards behavioral Maude: behavioral membership equational logic
• Bisimulation and Hidden Algebra
• scientific article; zbMATH DE number 1972769 (Why is no real title available?)
• 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
• Semantic constructions for the specification of objects
• Coinduction for preordered algebra

This page was built for publication: Semantic constructions for hidden algebra

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