DDebugger
From MaRDI portal
Software:21883
swMATH9904MaRDI QIDQ21883FDOQ21883
Author name not available (Why is that?)
Cited In (11)
- Twenty years of rewriting logic
- Declarative Debugging of Rewriting Logic Specifications
- Debugging Maude programs via runtime assertion checking and trace slicing
- Enhancing declarative debugging with loop expansion and tree compression
- Enhancing the debugging of Maude specifications
- A complete declarative debugger for Maude
- Exploring conditional rewriting logic computations
- A Maude environment for CafeOBJ
- Declarative debugging of missing answers for Maude
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- Declarative debugging of rewriting logic specifications
This page was built for software: DDebugger
