Pages that link to "Item:Q2409722"
From MaRDI portal
The following pages link to Partial evaluation of order-sorted equational programs modulo axioms (Q2409722):
Displaying 6 items.
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
- E-Unification based on Generalized Embedding (Q5084482) (← links)