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