The following pages link to Order-Sorted Generalization (Q4982625):
Displaying 12 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Speeding up operations on feature terms using constraint programming and variable symmetry (Q2341834) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
