关于学生程序自动语义查错

ON AUTOMATIC SEMANTIC DIAGNOSIS OF STUDENT PROGRAM

本文旨在介绍一个自动语义查错交互式系统中所给出的变量定值作用域的划分算法和以循环结构为单位的语义诊断策略。使用所给出的算法和策略,在多数情况下,可以提高语义查错的准确性和语义查错的效率。

This thesis aims to introduce the algorithm which parts the scopeof variable and the diagnosis strategy which treats loop structure as a unit,both of them are provided in the interactive system we have designed on the principle described in[1].In many cases,the accuracy and effi- ciency of diagnosis can be improved and increased by using the algorithm and thestrategy.