Another definition of order-sorted algebra

DOI10.1007/BF02946496zbMath0910.68146OpenAlexW2079854572MaRDI QIDQ1273072

Ziqiang He

Publication date: 2 December 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946496

zbMATH Keywords

order-sorted algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• A modest model of records, inheritance, and bounded quantification
• A semantics of multiple inheritance
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Operations on records

This page was built for publication: Another definition of order-sorted algebra