| “函数+逻辑”程序设计编译-解释系统 |
| |
| 引用本文： | 张运桢,李智勇,成岗.“函数+逻辑”程序设计编译-解释系统[J].华中科技大学学报(自然科学版),1991(2). |
| |
| 作者姓名： | 张运桢 李智勇 成岗 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系
(张运桢,李智勇),华中理工大学计算机科学与工程系(成岗) |
| |
| 摘 要： | 本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
|
| 关 键 词： | 函数/逻辑程序设计 编译 抽象指令集 归约 效率分析 |
A Compilation-Interpretation System of "Function + Logic" Programming Environment |
| |
| Zhang Yunzhen Li Zhiyong Chen Gang.A Compilation-Interpretation System of "Function + Logic" Programming Environment[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,1991(2). |
| |
| Authors: | Zhang Yunzhen Li Zhiyong Chen Gang |
| |
| Institution: | Zhang Yunzhen Li Zhiyong Chen Gang |
| |
| Abstract: | This paper is concerned with a compilation-interpretation system of "function + logic" programming environment implemented on a 16-bit microcomputer (IBM-PC/AT) in C language. The system is developed on the basis of an LISP-ELP and extended Warren's abstract instruction set PLM, but a reduction instruction has been added. It can give support to the compiling for the logic part and to the interpreting for the function part. The specific features, structure, implementing skills as well as the time-space efficiency are discussed. |
| |
| Keywords: | Functional/logic programming Compile Abstract instruction set Reduction Efficiency analysis |
| 本文献已被 CNKI 等数据库收录！ |
