【过程式语言的部分求值技术及其实现】郑红军.pdf

台湾养德堂藏品公开发表的有7件,分别为玉龙、玉鸟、兽目纹嵌饰、鸟纹权杖[78]、有齿兽面纹俱[79].台北蓝田山房收藏4件,即勾云纹佩、玉、玉猪龙[80]。其中1件原文称蚕,经研究本文认为应是原始形态的玉猪龙.台湾《日月坊》收藏1件钩形器.台湾暂集轩收藏玉人1件[82].台湾吴之方先生私人收藏玉猪龙1件[8].此外,还有四批见于著录但收藏单位或去向尚不楚的传世品.玉独龙1件,收录在《古玉图录初集4中,尺寸不详,去向不明.《中国玉器大全》收录1件马蹄形筒形器15)、高15厘米。

第四章部分求值器的实现 4实现思想 4主要数据结构 .4 部分求值初始状态的建立表达式的部分求值 .4 语句的部分求值 4 过程的例化 .4 部分求值的系统结构第五章部分求值器的实现环境及工具 5TP_SDDT 85.

第一章绪论 1.背景部万水确pariu1vaiuationi是程序汽化设联行自动生联的重安小z a3部分求值既息源于A演算和递归函数otieuatn湿:、6丁1952年系统的提出并证明了著名的:n定理认面使明确是南这于等分求值的可能性年L上di首次将部分求值技术应里于程享没的信量计算中年Fntura在原理上提中得译tcpiing1及编译器(cxni！的自动生成均可由部分求值器完成,从而使得部分求值技术的研究得和:形关破,也显示了部分求值技术在程序优化没软件目动生最中的审要地色:年Turchin是又首去提山.