고차 함수형 언어를 위한 순수한 수요 운영 의미론과 프로그램 분석 응용

고차 함수형 언어를 위한 순수한 수요 운영 의미론의 혁신적인 발전과 프로그램 분석의 새로운 가능성을 탐구한다.