Pages that link to "Item:Q2291823"
From MaRDI portal
The following pages link to A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823):
Displaying 9 items.
- 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)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Guest editor's foreword (Q5919131) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
