CASIA OpenIR  > 毕业生  > 硕士学位论文
程序综合的理论及实现
周景洲
学位类型工学硕士
导师楼启明
1982-09-01
学位授予单位中国科学院自动化研究所
学位授予地点中国科学院自动化研究所
学位专业计算机应用技术
关键词程序综合
摘要为在更广泛的应用领域里研究程序综合问 题,本文给出了操作和状态结构等具有较广泛 含义的概念.并探讨了操作和在操作作用下的 数据的性质.在此基础上,导出了几个基本定 理,这些定理为形成程序综合的算法提供了理 论根据.以上述理论为指导,引出了一个程序 综合的实现方法.
馆藏号XWLW63
其他标识符63
语种中文
文献类型学位论文
条目标识符http://ir.ia.ac.cn/handle/173211/7340
专题毕业生_硕士学位论文
推荐引用方式
GB/T 7714
周景洲. 程序综合的理论及实现[D]. 中国科学院自动化研究所. 中国科学院自动化研究所,1982.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[周景洲]的文章
百度学术
百度学术中相似的文章
[周景洲]的文章
必应学术
必应学术中相似的文章
[周景洲]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。