| 高阶函数式语言到逻辑式语言的转换 |
| |
| 引用本文： | 宋立彤,金成植,王丹茹.高阶函数式语言到逻辑式语言的转换[J].软件学报,1996,7(10):611-615. |
| |
| 作者姓名： | 宋立彤 金成植 王丹茹 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023 |
| |
| 摘 要： | 本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上.
|
| 关 键 词： | 高阶函数 延迟计算 抽象闭包 cal谓词 顺序化 |
| 修稿时间： | 1995/7/10 0:00:00 |
A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE |
| |
| Song Litong,Jin Chengzhi and Wang Danru.A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE[J].Journal of Software,1996,7(10):611-615. |
| |
| Authors: | Song Litong Jin Chengzhi and Wang Danru |
| |
| Affiliation: | Department of Computer Science\ Jilin University\ Changchun\ 130023 |
| |
| Abstract: | The paper gives a technique for transforming higher order functional language to Prolog language, such techniques as Lambda lifting, abstract closure analysis, sequentialization and predicate call in Prolog are used. The main research of this paper is aimed at higher order function. |
| |
| Keywords: | Higher order function lazy evaluation abstract closure call predicate sequentialization |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
