DDebugger
From MaRDI portal
Software:21883
swMATH9904MaRDI QIDQ21883FDOQ21883
Author name not available (Why is that?)
Cited In (11)
- Twenty years of rewriting logic
- Enhancing the Debugging of Maude Specifications
- Declarative Debugging of Rewriting Logic Specifications
- Debugging Maude programs via runtime assertion checking and trace slicing
- Declarative Debugging of Missing Answers for Maude.
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
- Exploring conditional rewriting logic computations
- Enhancing Declarative Debugging with Loop Expansion and Tree Compression
- A Complete Declarative Debugger for Maude
- A Maude environment for CafeOBJ
- Declarative debugging of rewriting logic specifications
This page was built for software: DDebugger
