EVALUATION TECHNIQUE FOR DEDUCTIVE OBJECT BASE LANGUAGE DOL

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.