Order-Sorted Parameterization and Induction
From MaRDI portal
Publication:3184745
DOI10.1007/978-3-642-04164-8_4zbMath1253.68215OpenAlexW1537633678MaRDI QIDQ3184745
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
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
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