摘要: 本文首先就此题目进行简单的历史性述评和非形式的介绍,接着回顾理论上的新成果,指出如何从存在性证明推导高级语言程序,进而引入一个简单的形式体系,用它来论述树结构、语义网络、顺序文件、数据库和编译程序中语义属性处理程序的综合技术。