2
콜 사이트 기반 유형 유추에 대한 연구?
함수 호출 사이트의 정보를 사용하여 형식 정보를 계산하는 전체 프로그램 형식 검사 및 형식 추론 시스템에 대해 자세히 배우려고합니다 (함수 본문을 사용하는 표준 방법 외에도). 예를 들어, 그러한 알고리즘은 foo(1)함수 foo가 정수 인수 를 취하는 것으로 추론 하기 위해 함수 호출을 사용할 수 있습니다 . 분명히 이것은 추론을 복잡하게 만들고 …