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

학위논문(석사) - 한국과학기술원 : 전산학과, 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.한국과학기술원 : 전산학과