Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging
Keyword(s):
Keyword(s):
1983 ◽
Vol 21
(1)
◽
pp. 41-47
◽
Keyword(s):
2007 ◽
Vol 49
(4)
◽
pp. 465-467
◽