Declarative Debugging of Missing Answers for Maude. (Q5389150)
From MaRDI portal
scientific article; zbMATH DE number 6027905
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Declarative Debugging of Missing Answers for Maude. |
scientific article; zbMATH DE number 6027905 |
Statements
25 April 2012
0 references
declarative debugging
0 references
Maude
0 references
missing answers
0 references
rewriting
0 references
Declarative Debugging of Missing Answers for Maude. (English)
0 references
