%0 Journal Article
%T PARLOG跟踪调试器的设计实现技术
%A 温冬婵
%A 王鼎兴
%A 马玉羚
%J -
%D 1995
%X 本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果
%K 执行模型
%K 调试器
%K 平坦化计算
%K 跟踪算法
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950903&flag=1