Order-Sorted Parameterization and Induction
From MaRDI portal
Recommendations
- Parametrization for order-sorted algebraic specification
- Order-sorted inductive types
- Order-sorted generalization
- Induction using term orderings
- scientific article; zbMATH DE number 3866562
- Order-Sorted Rewriting and Congruence Closure
- Semantics of order-sorted specifications
- Order-sorted logic programming with predicate hierarchy
- scientific article; zbMATH DE number 108280
Cites work
- scientific article; zbMATH DE number 4018380 (Why is no real title available?)
- scientific article; zbMATH DE number 4180819 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4060701 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3776831 (Why is no real title available?)
- scientific article; zbMATH DE number 3557184 (Why is no real title available?)
- scientific article; zbMATH DE number 1113861 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- Action Semantics
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Amalgamation in the semantics of CASL
- Another look at parameterization for oder-sorted algebraic specifications
- Automata-driven automated induction
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Data type specification, parameterization and the power of specification techniques
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Institutions: abstract model theory for specification and programming
- Modular structural operational semantics
- On the Completeness of Context-Sensitive Order-Sorted Specifications
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Order-sorted equational unification revisited
- Order-sorted unification
- Parameter passing in algebraic specification languages
- Parameter-preserving data type specifications
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Parametrization for order-sorted algebraic specification
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
- Specification and proof in membership equational logic
- The equational theory of parameterized specifications
- Using induction and rewriting to verify and complete parameterized specifications
Cited in
(12)- Symbolic computation in Maude: some tapas
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- Induction using term orders
- Weak bisimulation as a congruence in MSOS
- Order-sorted inductive types
- Programming and symbolic computation in Maude
- Parametrization for order-sorted algebraic specification
- scientific article; zbMATH DE number 2085285 (Why is no real title available?)
- scientific article; zbMATH DE number 3936499 (Why is no real title available?)
- On Automation of OTS/CafeOBJ Method
- Variant-Based Satisfiability in Initial Algebras
- Variants and satisfiability in the infinitary unification wonderland
This page was built for publication: Order-Sorted Parameterization and Induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184745)
