Pages that link to "Item:Q2437800"
From MaRDI portal
The following pages link to A modular order-sorted equational generalization algorithm (Q2437800):
Displayed 23 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- (Q4993338) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)
- Optimizing Maude programs via program specialization (Q6175104) (← links)