Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (Q5170702)
From MaRDI portal
scientific article; zbMATH DE number 6320254
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging |
scientific article; zbMATH DE number 6320254 |
Statements
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (English)
0 references
24 July 2014
0 references
declarative debugging
0 references
big-step semantics
0 references
small-step semantics
0 references
Maude
0 references
