›› 1983, Vol. 9 ›› Issue (02): 46-52.
• 论文 • 上一篇 下一篇
金曙白
发布日期:
Published:
摘要： <正> §1 引言 众所周知,一个具有实际应用价值的编译程序,除具备把源程序翻译为目标程序的基本功能外,还应能对用户编制的源程序进行检查并指出错误,以保证被编译的源程序的正确性,本文把曾实际运用过的一些关于检查的原则及处理方法作一系统的说明。文中以ALGOL60语言作为源语言,所论及的方法也可用于其它程序设计语言。
金曙白. 源程序正确性的检查方法[J]. , 1983, 9(02): 46-52.
/ 推荐 / 导出引用
链接本文: https://www.ecice06.com/CN/Y1983/V9/I02/46