期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

一个兼备函数和逻辑风格的知识程序设计环境的设计被引量：1

下载PDF

导出

摘要本文介绍了一个兼备函数和逻辑程序设计风格的知识程序设计环境,包括其设计思想、基本原理、结合方式及实现等,同时也讨论了设计过程中的一些考虑和选择。

作者成岗张运桢

机构地区中科院成都计算机应用研究所华中理工大学计算机系

出处《计算机应用》 CSCD 1989年第4期20-26,共7页 journal of Computer Applications

关键词逻辑程序设计函数逻辑知识

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

同被引文献1

1张运桢,李智勇.LISP-ELP的设计和应用[J].计算机学报,1989,12(2):157-160. 被引量：5

引证文献1

1成岗,张运桢.一个“函数+逻辑”程序设计语言的解释—编译系统[J].小型微型计算机系统,1990,11(1):14-19.

1项森,陈意云,林春晓,李隆.动态存储管理安全验证的Coq实现[J].计算机研究与发展,2007,44(2):361-367. 被引量：2
2雷富兴,张来顺.基于Hoare逻辑的过程调用的形式化方法[J].计算机工程与设计,2011,32(1):197-201. 被引量：2
3项森,陈意云,林春晓.一个支持位运算形式化推理的抽象机[J].小型微型计算机系统,2007,28(1):88-92.

计算机应用

1989年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部