swMATH9904MaRDI QIDQ21883FDOQ21883
Author name not available (Why is that?)
Official website: http://maude.sip.ucm.es/~adrian/files/debugging_jlap.pdf
Cited In (22)
- 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
- PVeStA
- ChC 3
- K-Maude
- MFE
- iJulienne
- Anima
- Julienne
- PSMaude
- Web-TLR
- Enhancing the debugging of Maude specifications
- A complete declarative debugger for Maude
- CafeInMaude
- CITP
- 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
