A modular order-sorted equational generalization algorithm
DOI10.1016/J.IC.2014.01.006zbMATH Open1314.68169OpenAlexW2048906114WikidataQ57978120 ScholiaQ57978120MaRDI QIDQ2437800FDOQ2437800
Authors: María Alpuente, Santiago Escobar, Javier Espert, José Meseguer 
Publication date: 13 March 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2014.01.006
Recommendations
equational theoriesanti-unificationgeneralization algorithmleast general generalizationsorder-sorted theories
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A structural approach to operational semantics
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- An Efficient Unification Algorithm
- Title not available (Why is that?)
- Title not available (Why is that?)
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inheritance hierarchies: Semantics and unifications
- Unification theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Order-sorted generalization
- Order-sorted unification
- ELAN from a rewriting logic point of view
- Incremental constraint satisfaction for equational logic programming
- A Modular Equational Generalization Algorithm
- Higher order generalization and its application in program verification
- Inductive synthesis of functional programs: an explanation based generalization approach
- Bottom-up induction of feature terms
- Specialization of inductively sequential functional logic programs
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- Anti-unification algorithms and their applications in program analysis
- E-generalization using grammars
- Unification, weak unification, upper bound, lower bound, and generalization problems
- Anti-unification for unranked terms and hedges
Cited In (33)
- A Modular Equational Generalization Algorithm
- Anti-unification and the theory of semirings
- Symbolic computation in Maude: some tapas
- Equational formulas and pattern operations in initial order-sorted algebras
- Higher-order pattern anti-unification in linear time
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Title not available (Why is that?)
- E-generalization using grammars
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- A library of anti-unification algorithms
- Title not available (Why is that?)
- Order-sorted equational generalization algorithm revisited
- Title not available (Why is that?)
- Higher-order pattern generalization modulo equational theories
- Optimizing Maude programs via program specialization
- One or nothing: anti-unification over the simply-typed lambda calculus
- Debugging Maude programs via runtime assertion checking and trace slicing
- Symbolic Specialization of Rewriting Logic Theories with Presto
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
- Inductive Logic Programming
- Assertion-based analysis via slicing withABETS(system description)
- Programming and symbolic computation in Maude
- Order-sorted generalization
- Optimization of rewrite theories by equational partial evaluation
- A Generic Framework for Higher-Order Generalizations.
- Title not available (Why is that?)
- Variant-based equational anti-unification
- Higher order generalization and its application in program verification
- Unranked second-order anti-unification
- Matching and Generalization Modulo Proximity and Tolerance Relations
- Term-Graph Anti-Unification
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
- ACUOS: a system for modular ACU generalization with subtyping and inheritance
Uses Software
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)
