Treffer: Debugging logic programs using specifications
Title:
Debugging logic programs using specifications
Authors:
Lee, Yuh-jengAff1, Dershowitz, NachumAff2
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:75-84
Database:
Springer Nature eBooks