微信服务号

微信订阅号

Home > Archive>Volume 7, Issue 10, 1996 >611-615
PDF HTML XML Export Cite reminder
A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
    • |
  • Figures
    • |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • |
  • Materials
    • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

宋立彤,金成植,王丹茹.高阶函数式语言到逻辑式语言的转换.软件学报,1996,7(10):611-615

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:
  • Revised:July 10,1995
  • Adopted:
  • Online:
  • Published:
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063