Treffer: Declarative debugging of abstract data types in Gödel
Title:
Declarative debugging of abstract data types in Gödel
Authors:
Binks, DominicAff1
Contributors:
Goos, Gerhard, editor, Hartmanis, Juris, editor, Fritzson, Peter A., editor
Source:
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:188-205
Database:
Springer Nature eBooks