ISCAS OpenIR  > 早期
PROLOG在XYZ系统中的作用
谢汉东
1987
学位授予单位中国科学院软件研究所
学位博士
学位授予地点中国科学院软件研究所
摘要XYZ/E是一个时序逻辑语言,XYZ系统能在这个语言的统一程序框架的基础上表示多种程序设计方式,从而使得高级语言、产生式系统(Prolog)、抽象描述语言等等都可看做是XYZ/E的外部形式。而XYZ/DSPV是一个适应于抽象描述程序设计的环境,它不断地分解由XYZ/E语言表示的抽象描述(人工辅助),直到全部转化为可执行的算法程序为止。本文按照唐稚松教授的思想,构造了一个原型示范(Prototyping)子系统,用于在XYZ/DSPV环境对抽象描述进行分解之前,支持用户先用XYZ/E形式的PROLOG程序对此抽象描述作原型示范来执行,从而判断此抽象描述是否满足用户要求。
页数56
语种中文
内容类型学位论文
URI标识http://ir.iscas.ac.cn/handle/311060/7096
专题早期
推荐引用方式
GB/T 7714
谢汉东. PROLOG在XYZ系统中的作用[D]. 中国科学院软件研究所. 中国科学院软件研究所,1987.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
N81428.pdf(1179KB) 限制开放--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[谢汉东]的文章
百度学术
百度学术中相似的文章
[谢汉东]的文章
必应学术
必应学术中相似的文章
[谢汉东]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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