导读:本文包含了编译解释程序论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,变量,程序设计,函数,抽象,指令集,程序。
编译解释程序论文文献综述
邓铁清,王志英,吴泉源[1]（1991）在《逻辑程序设计与关系数据库集成的一种基于预编译的解释方法》一文中研究指出本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。(本文来源于《国防科技大学学报》期刊1991年04期）
张运桢,李智勇,成岗[2]（1991）在《“函数+逻辑”程序设计编译-解释系统》一文中研究指出本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.(本文来源于《华中理工大学学报》期刊1991年02期）
成岗,张运桢[3]（1990）在《一个“函数+逻辑”程序设计语言的解释—编译系统》一文中研究指出我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。(本文来源于《小型微型计算机系统》期刊1990年01期）
邢汉承[4]（1987）在《逻辑程序设计语言NIT-PROLOG编译—解释系统》一文中研究指出逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG 系统。(本文来源于《南京工学院学报》期刊1987年06期）
编译解释程序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
编译解释程序论文参考文献
[1].邓铁清,王志英,吴泉源.逻辑程序设计与关系数据库集成的一种基于预编译的解释方法[J].国防科技大学学报.1991
[2].张运桢,李智勇,成岗.“函数+逻辑”程序设计编译-解释系统[J].华中理工大学学报.1991
[3].成岗,张运桢.一个“函数+逻辑”程序设计语言的解释—编译系统[J].小型微型计算机系统.1990
[4].邢汉承.逻辑程序设计语言NIT-PROLOG编译—解释系统[J].南京工学院学报.1987
论文知识图
