| 函数／逻辑语言归约实现技术 |
| |
| 引用本文： | 阳富民,冯玉才.函数／逻辑语言归约实现技术[J].计算机研究与发展,1996,33(9):647-651. |
| |
| 作者姓名： | 阳富民 冯玉才 |
| |
| 作者单位： | 华中理工大学计算机系 |
| |
| 摘 要： | ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。
|
| 关 键 词： | 归约 函数式语言 逻辑程序设计 程序设计 |
A FUNCTION/LOGIC LANGUAGE IMPLEMENTATION TECHNIQUE WITH REDUCTION SEMANTICS |
| |
| Yang Fumin, Feng Yucai, Wu Yongying, and Wu Hengshan.A FUNCTION/LOGIC LANGUAGE IMPLEMENTATION TECHNIQUE WITH REDUCTION SEMANTICS[J].Journal of Computer Research and Development,1996,33(9):647-651. |
| |
| Authors: | Yang Fumin Feng Yucai Wu Yongying and Wu Hengshan |
| |
| Abstract: | RFUNLOG is a function/logic programming language designed and implemented by ourselves. It has integrated operational semantics. This paper describes thegeneral architecture, reductional operational semantics and the interpretation implementation techniques of RFUNLOG. |
| |
| Keywords: | Reduction functional language logic programming |
| 本文献已被 CNKI 维普 等数据库收录！ |
