Pages that link to "Item:Q2296704"
From MaRDI portal
The following pages link to \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance (Q2296704):
Displaying 10 items.
- ACUOS2 (Q43695) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← 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)