孙怀民 - 资源检索 - 将博数字资源平台

关键词：设计原理　　数据库　　谓词符号　　模式匹配　　系统处理　　解释系统　　第五代计算机　　计算机语言　　核心语言　　子句

关键词：正则表达式　　语义学　　抽象数学　　公理系统　　模型论　　有限自动机　　自动机理论　　广义函数　　分析与综合　　程序函数

关键词：子目标　　自动综合　　程序设计　　子程序　　程序规范　　自动设计系统　　演绎语言　　抽象数据结构　　抽象语义　　元符号

关键词：断点　　共享存储区　　进程通信