DDebugger
From MaRDI portal
Cited in
(23)- 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
- CoFI
- PVeStA
- ChC 3
- K-Maude
- MFE
- iJulienne
- Anima
- Julienne
- PSMaude
- Web-TLR
- CafeInMaude
- CITP
- A complete declarative debugger for Maude
- Enhancing the debugging of Maude specifications
- 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
