이 논문은 고차 함수형 언어를 위한 새로운 최소 상태 운영 의미론을 개발하고, 이를 통해 프로그램 분석에 대한 새로운 응용 가능성을 제시한다. 순수한 수요 운영 의미론은 환경, 치환, 계속 등이 없는 최소한의 상태 정보를 사용하며, 이를 통해 표준 프레젠테이션과 동등함을 증명한다. 또한, 이 접근 방식이 어떻게 새로운 응용 가능성을 열어주는지 보여주며, 이 운영 의미론의 직접적인 유한화를 프로그램 분석으로 정의한다. 이 프로그램 분석은 표준 프로그램 분석과 비교했을 때 새로운 특성을 가지며, 재귀를 추론할 수 있고 값 확장이 필요하지 않다. 논문은 이 분석의 형식적인 정의를 제시하고 현재 구현을 설명한다.
To Another Language
from source content
arxiv.org
Viktige innsikter hentet fra
by Scott Smith,... klokken arxiv.org 03-11-2024
https://arxiv.org/pdf/2310.15915.pdfDypere Spørsmål