Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (Q4909314)
From MaRDI portal
scientific article; zbMATH DE number 6144098
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees |
scientific article; zbMATH DE number 6144098 |
Statements
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (English)
0 references
13 March 2013
0 references
declarative debugging
0 references
Maude
0 references
proof tree transformation
0 references
