| 摘要: |
| 本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果． |
| 关键词: 执行模型，调试器，平坦化计算，跟踪算法 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| DESIGN AND IMPLEMENTATION TECHNIQUES FOR A PARLOG TRACING DEBUGGER |
|
Ma Yuling,Wen Dongchan,Wang Dingxing
|
| Abstract: |
| The paper discusses the design and implementation techniques for a PARLOGInteractive tracing debugger.The authors modlfythe L.Byrd’s Box model and make It ca.pable to illustrate the sequential execution model of PARLOG.In sequen tial executlormodel,It Is easy for programmer to debug program because the computation Is determin.lsm.The paper Introduces three aspects of the research Indebugger implementation Indetall:define the debugging level;change flat computation In sequentlal model to treeshape computation;complete tracing algorithms in different level. |
| Key words: Execution model,debugger,flat computation,tracing algorithms. |
