Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems

DOI10.1006/INCO.1993.1016MaRDI QIDQ1803659zbMATH OpenOpenAlexFDO

Authors José Meseguer, Joseph Goguen

Publication date 29 June 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/982793f01cc78d62257cc7dc31c7165fad791952

zbMATH Keywords

abstract data typesmany-sorted algebraorder-sorted algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A Framework for Order-Sorted Algebra
• Order-sorted algebraic specifications with higher-order functions
• Order-sorted algebraic specifications with higher-order functions
• Order-sorted equational unification revisited
• scientific article; zbMATH DE number 3949706
• scientific article; zbMATH DE number 4206001
• Order-Sorted Rewriting and Congruence Closure
• scientific article; zbMATH DE number 1113861
• scientific article; zbMATH DE number 4056995

Cited in

(26)

• Specification and verification of object-oriented programs using supertype abstraction
• Maude: specification and programming in rewriting logic
• Order-sorted unification
• Semantics of order-sorted specifications
• An algebraic semantics of higher-order types with subtypes
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• Parameterisation for abstract structured specifications
• Homomorphism preserving algebraic specifications require hidden sorts
• Metalevel algorithms for variant satisfiability
• Weak bisimulation as a congruence in MSOS
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Specification and proof in membership equational logic
• scientific article; zbMATH DE number 1231537 (Why is no real title available?)
• Modular algebraic specification of some basic geometrical constructions
• On the algebra of structured specifications
• A hidden agenda
• Inheritance hierarchies: Semantics and unifications
• Symbolic computation in Maude: some tapas
• Rewriting logic as a semantic framework for concurrency: a progress report
• Variant-Based Satisfiability in Initial Algebras
• Typed homomorphic relations extended with subtypes
• Equivalences among various logical frameworks of partial algebras
• Structural induction in institutions
• Another look at parameterization for oder-sorted algebraic specifications
• Principles of proof scores in CafeOBJ
• Relating CASL with other specification languages: the institution level.

This page was built for publication: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems

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