한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

논리 프로그램의 타입 및 모드 분석의 계층 구조

A Hierarchical Structure of Type and Mode Analyses of Logic Programs

  • 창병모 (숙명여자대학교 전산학과)
  • 발행 : 1999.03.01

⟨ 이전 논문 다음 논문 ⟩

초록

논리 프로그램의 타입 및 모드 분석은 실행 시간에 변수가 갖는 텀의 집합에 대한근사값을 구하는데 보통 요약 해석을 기반으로 하여 설계되고 개발되어 왔다. 이 논문에서는 타입 및 모드 분석을 위해서 설계된 다양한 요약 도메인을 고려하여 그들간의 계층 관계를 Galois insertion을 기준으로 밝힌다. 이 논문에서는 요약 도메인으로써 타입 그래프, 깊이-k 타입 , 깊이-k 모드, 순환모드, 그리고 모드를 고려할 것이다. 특히 깊이-k 모드는 타입 및 모드 분석을 통합하기 위한 도메인으로써 깊이-k 타입을 확장하여 제안하였다.

키워드

참고문헌

  1. Proc. of 5th Int'l Conference on Logic Programming An Instance of Abstract Interpretation Integration Type and Mode Inferencing M. Bruynooghe;G. Janssens
  2. Proc. of 5th Int'l Conference on Logic Programming Deriving descriptions of possible values of program variables by means of abstract interpretation M. Bruynooghe;G. Janssens
  3. ACM Trans. on Programming Languages and Systems v.11 no.3 Static Inference of Modes and Data Dependencies in Logic Programs S .K. Debray
  4. Theoretical Computer Science v.34 Enumeration of success patterns in logic programs T. Sato;H. Tamaki
  5. Proc. of the 4th ACM Symp. on Principles of Programming Languages Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints P. Cousot;R. Cousot
  6. Journal of Logic Programming Abstract Interpretation and Application to Logic Programs P. Cousot;R. Cousot
  7. Proc.of 1994 Int'l Static Analysis Symposium The Costs and Benefits of Abstract Interpretation-Driven Prolog Optimization T. W. Getzinger
  8. Proc. of North American Conference on Logic Programming Accurate and Efficient Approximation of Variable Aliasing in Logic Programs D. Jacobs;A. Langen
  9. Proc.of IFIP WG 10.0 Workshop on Concepts and Characteristics of Declarative Systems A New Application of Abstract Interpretation in Prolog Programs: Data-dependency analysis H. Xia;W. Gilloi
  10. Proc. of 1988 Joint Int'l Conf. and Symp. on Logic Programming Bottom-up abstract interpretation of logic programs K. Marriott;H. Sondergaard