函数式语言编译实现技术的研究*
作者:
基金项目:

本研究项目得到北京市自然科学基金资助.


ON THE IMPLEMENTATION OF COMPILERS FOR FUNCTIONAL LANGUAGES
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [1]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    文章分析了编译实现函数式程序设计语言的主要技术,总结出函数式语言实现方法的两条设计准则:(1)简化函数调用处理的同时,减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象.使其适应冯·偌依曼机的结构特征.文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统.

    Abstract:

    This paper gives the main techniques for implementing compiler for function-al languages and proposes two rules for the design of the compiler’s implementation:(1)Saving the memory space for suspended arguments and to release them as early as possible.in addition to simplify function call;(2)Reducing the characteristic structure in rune-tional programs by some transformations.Some techniques and their application in a com piler for a functional language are also presented.

    参考文献
    1 Jones S L P.The implementation of functional programs.London:Prentice Hall,1987. 2 Henderson P.Functional programming:application and implementation.London:Prentice Hall,1980. 3 廖湖声.函数式程序的分层λ抽象.计算机学报,1989,12(12):892—890. 4 Liao H S.Removing partial parametrization for efficient implementation of functional languages.Computer Lan- guages,1992,17(4):241—250.
    相似文献
    引证文献
引用本文

廖湖声.函数式语言编译实现技术的研究*.软件学报,1995,6(zk):258-265

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-07-06
  • 最后修改日期:1994-07-06
文章二维码
您是第19939624位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号