Order-Sorted Parameterization and Induction

DOI10.1007/978-3-642-04164-8_4zbMath1253.68215OpenAlexW1537633678MaRDI QIDQ3184745

José Meseguer

Publication date: 22 October 2009

Published in: Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04164-8_4

Mathematics Subject Classification ID

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

Related Items (7)

Weak Bisimulation as a Congruence in MSOS ⋮ Variants and satisfiability in the infinitary unification wonderland ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ On Automation of OTS/CafeOBJ Method ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Programming and symbolic computation in Maude ⋮ Symbolic computation in Maude: some tapas

Uses Software

• CASL
• OBJ3
• CafeOBJ
• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order-sorted unification
• Using induction and rewriting to verify and complete parameterized specifications
• Parametrization for order-sorted algebraic specification
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Parameter passing in algebraic specification languages
• Parameter-preserving data type specifications
• The equational theory of parameterized specifications
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Another look at parameterization for oder-sorted algebraic specifications
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Amalgamation in the semantics of CASL
• Automata-driven automated induction
• Modular structural operational semantics
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Specification and proof in membership equational logic
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Action Semantics
• Institutions: abstract model theory for specification and programming
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Order-sorted Equational Unification Revisited
• Data type specification
• On the Completeness of Context-Sensitive Order-Sorted Specifications
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Order-Sorted Parameterization and Induction