PARLOG跟踪调试器的设计实现技术

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果