演绎对象库语言DOL的求值技术  

EVALUATION TECHNIQUE FOR DEDUCTIVE OBJECT BASE LANGUAGE DOL

作　　者：王修伦[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机系

出　　处：《计算机研究与发展》1998年第11期996-999,共4页Journal of Computer Research and Development

摘　　要：ＤＯＬ语言是文中设计的一个演绎对象库语言，通过引入重载操作子，处理继承与重载的关系．文中讨论ＤＯＬ语言的基于程序重写的求值技术．研究表明：由于ＤＯＬ引入对象角色概念，程序重写技术具有简单性．DOL is a deductive object base language,in which the semantics is based on the overriding operator.The evaluation technique for DOL is discussed in the paper.The result indicates that program rewriting technique is simpler than other related researches due to the conception of object role in DOL.

关 键 词：演绎对象库语言 程序重写 DOL语言 数据库 

分 类 号：TP312DO[自动化与计算机技术—计算机软件与理论] TP311.13[自动化与计算机技术—计算机科学与技术]