中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 早期
题名:
PROLOG在XYZ系统中的作用
作者: 谢汉东
答辩日期: 1987
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
摘要: XYZ/E是一个时序逻辑语言,XYZ系统能在这个语言的统一程序框架的基础上表示多种程序设计方式,从而使得高级语言、产生式系统(Prolog)、抽象描述语言等等都可看做是XYZ/E的外部形式。而XYZ/DSPV是一个适应于抽象描述程序设计的环境,它不断地分解由XYZ/E语言表示的抽象描述(人工辅助),直到全部转化为可执行的算法程序为止。本文按照唐稚松教授的思想,构造了一个原型示范(Prototyping)子系统,用于在XYZ/DSPV环境对抽象描述进行分解之前,支持用户先用XYZ/E形式的PROLOG程序对此抽象描述作原型示范来执行,从而判断此抽象描述是否满足用户要求。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7096
Appears in Collections:中科院软件所图书馆_早期

Files in This Item:
File Name/ File Size Content Type Version Access License
N81428.pdf(1179KB)----限制开放-- 联系获取全文

Recommended Citation:
谢汉东. PROLOG在XYZ系统中的作用[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1987-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[谢汉东]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[谢汉东]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

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

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace