一个面向语义的解释器自动生成技术

来源 :计算机学报 | 被引量 : 0次 | 上传用户:mooyee6
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.更多还原
其他文献
缺省理论的单调性及其充要条件孙辉(大连铁道学院计算机科学系大连116022)MONOTONICITYOFADEFAULTTHEORYANDANASCFORITSVALIDITY¥SunHui(DepartmentofComputerScience,D...
四川齿轮厂是国内工程机械弧齿锥齿轮副的主要生产厂家之一,生产ZL40、ZL50装载机各式弧齿锥齿轮副。在实际生产中我们发现部分弧齿锥齿轮副的设计存在着一些不足,为此我们提出
在制造领域,每一类产品或零(部)件的加工制造都有其固有的生产流程。同样,就链条生产而言,也有其一定的制造方式。如何科学合理、简洁高效地制定链条制造流程及链条零件的处理方
自动程序设计系统APA使用类比推理技术,向过去经验学习编写新的LISP程序.本文首先给出了它的知识表示和系统结构,然后讨论怎样发现与新问题相似的已解问题,怎样沿着相似推导
本文应用符号推理技术,给出了获得NURBS符号矩阵表示及其从符号矩阵自动转换成数值矩阵的算法.应用该算法使NURBS的计算简单且易于理解。
本文通过采用有限差分法求解修正的非定常的雷诺方程,并采用四阶龙格-库塔法求解飞行磁头的动力学方程组,分别计算了常规的T-F浮动块和带减压槽的T-F浮动块飞的肋面各种障碍物时的动态
死锁和死环是分布式系统或计算机网络中进程间通信时经常发生的逻辑错误,它们往往造成分布式系统中的部分主机或整个系统瘫痪,本文提出两个回避死锁和死环的算法,这些算法可被用
<正> 防锈油不防锈?旧话重提说防锈。记得一位材料保护专家说过这样一件事,某零部件企业老总告诉他,公司出口的零部件产品到港开箱检验时,总会因严重锈蚀现象而遭到退货拒付
四川省畜牧食品局2008年12月25日出台《四川省蛋鸡标准化规模养殖场改造以奖代补项目实施方案》.对自愿改造后达到规范标准的养殖场(户)将给予一次性奖励.最高可达15万元。据悉.只
A陶瓷有限公司地处我国山东陶瓷产区,是具有悠久历史的一家国有大型陶瓷企业,其生产的A牌系列陶瓷在国内享有盛名。在计划经济年代,是皇帝的女儿不愁嫁,A牌系列陶瓷根本不愁销售