首页 | 本学科首页   官方微博 | 高级检索  
     检索      

过程式语言的动态部分求值技术
引用本文:刘磊,郑红军,金成植.过程式语言的动态部分求值技术[J].吉林大学学报(理学版),1995(3).
作者姓名:刘磊  郑红军  金成植
作者单位:吉林大学计算机科学系,北京大学
摘    要:提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。

关 键 词:部分求值,过程式语言,程序例化,剩余程序

Techniques of Dynamic Partial Evaluation for Procedural Language
Liu Lei, Zheng Hongiun, Jin Chengzhi.Techniques of Dynamic Partial Evaluation for Procedural Language[J].Journal of Jilin University: Sci Ed,1995(3).
Authors:Liu Lei  Zheng Hongiun  Jin Chengzhi
Abstract:This paper gives a dynamic technique of partial evaluation for procedural language, and apartial evaluator for Like-PASCAL hs been implemented.
Keywords:partial evaluation  procedural language  program specialization  residual program  
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号