摘要
提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述．采用该方法，实现一个实验性的部分求值系统．
Thls paper gives a merger dynamic and static technique of partial evallaation for procedural language and its formal description. and we have implemented a partial evaluator for iike-PASCAL.
出处
《吉林大学自然科学学报》
CAS
CSCD
1999年第4期31-34,共4页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
吉林省科委基金
关键词
部分求值
过程式语单
程序优化
软件自动化
partial evaluation, procedural language, program specialization, residual program
