拉尔夫·克努珀 符号执行：一种语义方法。 （英语） Zbl 0745.68064号 科学。计算。程序。 第3207-249号第16页（1991年）. 摘要：本文从语义的角度讨论了符号执行，涵盖了程序和规范。它定义了规范和程序的符号执行的指称语义，从而引入了符号执行正确性的概念，该概念不仅适用于单个语言，而且适用于广泛的一类语言，即那些语义可以用状态和状态转换来描述的语言。还描述了用于符号执行的语言的操作语义。 MSC公司： 68瓦30 符号计算和代数计算 68问题55 计算理论中的语义学 关键词：符号执行的指称语义；符号执行的正确性 PDF格式BibTeX公司 XML格式引用 \textit{R.Kneuper}，科学。计算。程序。16，第3号，207--249（1991；Zbl 0745.68064） 全文： 内政部