DDebugger
From MaRDI portal
Cited in
(23)- CoFI
- Twenty years of rewriting logic
- Declarative debugging of rewriting logic specifications
- PVeStA
- K-Maude
- MFE
- ChC 3
- iJulienne
- Web-TLR
- Anima
- PSMaude
- Julienne
- Enhancing declarative debugging with loop expansion and tree compression
- A complete declarative debugger for Maude
- CafeInMaude
- Declarative Debugging of Rewriting Logic Specifications
- CITP
- Exploring conditional rewriting logic computations
- Enhancing the debugging of Maude specifications
- A Maude environment for CafeOBJ
- Declarative debugging of missing answers for Maude
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- Debugging Maude programs via runtime assertion checking and trace slicing
This page was built for software: DDebugger
