%0 Journal Article
%T DESIGN AND IMPLEMENTATION TECHNIQUES FOR A PARLOG TRACING DEBUGGER<br>PARLOG跟踪调试器的设计实现技术
%A Ma Yuling
%A Wen Dongchan
%A Wang Dingxing
%A <br>马玉羚
%A 温冬婵
%A 王鼎兴
%J 软件学报
%D 1995
%I 
%X 本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．
%K Execution model
%K debugger
%K flat computation
%K tracing algorithms<br>执行模型，调试器，平坦化计算，跟踪算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=49D7AB33481374978F69188EDDF7E239&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=9CF7A0430CBB2DFD&sid=D45762219109E903&eid=1918ADDC93A85779&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14