A modular order-sorted equational generalization algorithm
From MaRDI portal
Publication:2437800
Recommendations
Cites work
- scientific article; zbMATH DE number 4049131 (Why is no real title available?)
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 3688776 (Why is no real title available?)
- scientific article; zbMATH DE number 2043518 (Why is no real title available?)
- scientific article; zbMATH DE number 194509 (Why is no real title available?)
- scientific article; zbMATH DE number 1881074 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3349328 (Why is no real title available?)
- scientific article; zbMATH DE number 3349329 (Why is no real title available?)
- scientific article; zbMATH DE number 3349330 (Why is no real title available?)
- A Modular Equational Generalization Algorithm
- A structural approach to operational semantics
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An Efficient Unification Algorithm
- Anti-unification algorithms and their applications in program analysis
- Anti-unification for unranked terms and hedges
- Bottom-up induction of feature terms
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- E-generalization using grammars
- ELAN from a rewriting logic point of view
- Higher order generalization and its application in program verification
- Incremental constraint satisfaction for equational logic programming
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- Inductive synthesis of functional programs: an explanation based generalization approach
- Inheritance hierarchies: Semantics and unifications
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Order-sorted generalization
- Order-sorted unification
- Specialization of inductively sequential functional logic programs
- Unification theory
- Unification, weak unification, upper bound, lower bound, and generalization problems
Cited in
(33)- Optimization of rewrite theories by equational partial evaluation
- E-generalization using grammars
- scientific article; zbMATH DE number 1696597 (Why is no real title available?)
- One or nothing: anti-unification over the simply-typed lambda calculus
- Higher-order pattern anti-unification in linear time
- Symbolic Specialization of Rewriting Logic Theories with Presto
- ACUOS: a system for modular ACU generalization with subtyping and inheritance
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
- Unranked second-order anti-unification
- Higher-order pattern generalization modulo equational theories
- Programming and symbolic computation in Maude
- A library of anti-unification algorithms
- A Modular Equational Generalization Algorithm
- Order-sorted equational generalization algorithm revisited
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Order-sorted generalization
- Debugging Maude programs via runtime assertion checking and trace slicing
- Equational formulas and pattern operations in initial order-sorted algebras
- Optimizing Maude programs via program specialization
- A Generic Framework for Higher-Order Generalizations.
- Variant-based equational anti-unification
- Higher order generalization and its application in program verification
- Combining runtime checking and slicing to improve Maude error diagnosis
- Matching and Generalization Modulo Proximity and Tolerance Relations
- scientific article; zbMATH DE number 1881074 (Why is no real title available?)
- scientific article; zbMATH DE number 914131 (Why is no real title available?)
- Higher-order equational pattern anti-unification
- Term-graph anti-unification
- Anti-unification and the theory of semirings
- Inductive Logic Programming
- Symbolic computation in Maude: some tapas
- Assertion-based analysis via slicing withABETS(system description)
This page was built for publication: A modular order-sorted equational generalization algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437800)
