14 research outputs found

    신제품성과에 영향을 미치는 선행요인에 관한 통합적 연구

    No full text

    어파인 등식을 이용한 고차 언어의 요약 해석

    No full text
    학위논문(석사) - 한국과학기술원 : 전산학과, 1999, [ [108] p. ]In this thesis, we propose the framework of abstract interpretation of higher-order language using affine equalities. In this framework, each expression is abstractly evaluated as affine relationships among the value of it and values of free variables of it and the safeness of abstract semantics is proved. And we propose the framework for computing affine relationships among variables in a program as an application of the abstract interpretation using affine equalities. The safeness of abstract semantics and the correctness of affine relationships among program variables are proved. The method to computing affine relationships among program variables in flow-chart language was proposed previously. But, the method is not more stricter than constant propagation. Our method is more stricter than this method even if higher-order features of language is excluded. And our method is more stricter than constant propagation, too.한국과학기술원 : 전산학과
    corecore