Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
KoAT는 정수 프로그램의 복잡도 경계와 종료 여부를 자동으로 분석하는 도구입니다. 실행 시간 및 크기 상한을 교대로 추론하는 모듈식 방식을 사용하여 서브프로그램을 분석합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기PDF HTML 보기 (실험적) 초록: KoAT는 (재귀적일 수 있는) 정수 프로그램의 복잡도 경계(complexity bounds)를 자동으로 추론하고 종료(termination)를 증명하는 도구입니다. 이를 위해 KoAT는 프로그램 부분에 대한 실행 시간 상한(upper runtime bounds)과 크기 상한(size bounds)을 교대로 모듈식 추론(alternating modular inference)하는 방식을 구현합니다. 특히, KoAT는 서브프로그램을 분석하기 위해 다양한 기술의 포트폴리오(portfolio)를 사용합니다. 우리 접근 방식의 강력함은 광범위한 실험적 평가를 통해 입증되었습니다.
arXivLabs는 협력자들이 우리 웹사이트에서 직접 새로운 arXiv 기능을 개발하고 공유할 수 있도록 지원하는 프레임워크입니다.
arXivLabs와 함께 활동하는 개인 및 조직은 개방성, 커뮤니티, 탁월함, 그리고 사용자 데이터 프라이버시라는 우리의 가치를 수용하고 받아들였습니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다.
arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있습니까? arXivLabs에 대해 자세히 알아보세요.