论文部分内容阅读
测试语义及其形式描述
【机 构】
：
北京邮电学院
【出 处】
：
中国计算机学会计算机科学与技术研究生学术讨论会
【发表日期】
：
1990年期
其他文献
自内蒙古阿拉善荒漠区采集了红砂 (Reaumuria soongorica)和猫头刺 (Oxytropis aci-phylla)种子 ,试验室内进行了萌发生态适应性的研究。结果表明 :黑暗较光照更利于红砂种子
该文就其去年用汉字型COBOL语言与汉字型BASIC语言搞工资管理、经济管理、人事档案管理等项工作和今年用CDBASE—Ⅱ汉字型关系数据库系统搞科研课题计划与进度的管理工作中处
用不同的输入、输出变量状态来运行同一个程序的能力逻辑程序设计语言的一个重要特点，Prolog、Ic—prolog和Parlog语言在实现中都不同程度地照顾到这一特点，该文对这三种语言中
该文首次提出二维表式电子计算机语言—G语言。它是在G算法的基础上产生的；是可用以编程的用户源语言。一方面，G语言可通过高级汇编程序G生成对应的汇编语言或BASIC语言；另一方
该文通过对人类习得语言及其思维形式、探求问题信息处理的心理学因素分析，对照会话式逻辑型语言Prolog，指出这种语言对于以知识信息处理为目标的新一代计算机来说，存在着成人思