过程式语言的动态部分求值技术  

Techniques of Dynamic Partial Evaluation for Procedural Language

作　　者：刘磊[1] 郑红军[1] 金成植[1] 

机构地区：[1]吉林大学计算机科学系,北京大学

出　　处：《吉林大学自然科学学报》1995年第3期35-39,共5页Acta Scientiarum Naturalium Universitatis Jilinensis

摘　　要：提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。This paper gives a dynamic technique of partial evaluation for procedural language, and apartial evaluator for Like-PASCAL hs been implemented.

关 键 词：部分求值 过程式语言 源程序 PASCAL语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]