Method of displaying execution trace in a logic programming language processing system

作者: Tadashi Hirose , Keiko Shinada , Kazuo Nakao

DOI:

关键词:

摘要: A sequence of calling clauses and all in a procedure that includes the selected are displayed simultaneously, present point execution is being overlapped on above displays. In particular, program source list processed displayed, latest statuses executed terms graphically around list.

参考文章(3)
Kazumasa Saito, Hiroyuki Maezawa, Diagrammatic method of testing program ,(1985)
Keiko Shinada, Tadashi Hirose, Yoichi Takeuchi, Kazuo Nakao, Method for displaying operation range of logical language ,(1986)