高级检索

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

    EVALUATION TECHNIQUE FOR DEDUCTIVE OBJECT BASE LANGUAGE DOL

    • 摘要: DOL语言是文中设计的一个演绎对象库语言,通过引入重载操作子,处理继承与重载的关系.文中讨论DOL语言的基于程序重写的求值技术.研究表明:由于DOL引入对象角色概念,程序重写技术具有简单性.

       

      Abstract: 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.

       

    /

    返回文章
    返回