CASIA OpenIR  > 毕业生  > 硕士学位论文
程序综合的理论及实现
周景洲
Subtype工学硕士
Thesis Advisor楼启明
1982-09-01
Degree Grantor中国科学院自动化研究所
Place of Conferral中国科学院自动化研究所
Degree Discipline计算机应用技术
Keyword程序综合
Abstract为在更广泛的应用领域里研究程序综合问 题,本文给出了操作和状态结构等具有较广泛 含义的概念.并探讨了操作和在操作作用下的 数据的性质.在此基础上,导出了几个基本定 理,这些定理为形成程序综合的算法提供了理 论根据.以上述理论为指导,引出了一个程序 综合的实现方法.
shelfnumXWLW63
Other Identifier63
Language中文
Document Type学位论文
Identifierhttp://ir.ia.ac.cn/handle/173211/7340
Collection毕业生_硕士学位论文
Recommended Citation
GB/T 7714
周景洲. 程序综合的理论及实现[D]. 中国科学院自动化研究所. 中国科学院自动化研究所,1982.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[周景洲]'s Articles
Baidu academic
Similar articles in Baidu academic
[周景洲]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[周景洲]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.