PL
abstract interpretation
- 요약실행
- 요약해석
댓글 3개
이
이광근/YiKwangkeun·요약실행·5일 전
"해석"이 불필요하게 무거운 면이 있네요.
지워진 댓글
이
이광근/YiKwangkeun·14일 전
좋아요. 이미 "요약해석"으로 사용되고 있는데, 굳이 설명하면: 실행의 어떤 상황이든(무한히 돌더라도) *유한시간안에* 어림잡는 기술이므로, "해석" 또는 "분석"이 적절한 면이 있습니다.
이"
이재호 "Zeta"·요약해석·3년 전
요약해석을 제안합니다.