Enhancing Declarative Debugging with Loop Expansion and Tree Compression (Q2848898)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enhancing Declarative Debugging with Loop Expansion and Tree Compression |
scientific article |
Statements
Enhancing Declarative Debugging with Loop Expansion and Tree Compression (English)
0 references
13 September 2013
0 references
declarative debugging
0 references
tree compression
0 references
loop expansion
0 references
