Pages that link to "Item:Q485831"
From MaRDI portal
The following pages link to Exploring conditional rewriting logic computations (Q485831):
Displaying 9 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Origin tracking (Q1322842) (← 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)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)