컴퓨터 과학 (Computer Science) > 컴퓨터 과학의 논리학 (Logic in Computer Science)

제목: KoAT: 정수 프로그램의 자동 복잡도 및 종료 분석 (Automatic Complexity and Termination Analysis of Integer Programs)

PDF HTML 보기 (실험적) 초록: KoAT는 (재귀적일 수 있는) 정수 프로그램의 복잡도 경계(complexity bounds)를 자동으로 추론하고 종료(termination)를 증명하는 도구입니다. 이를 위해 KoAT는 프로그램 부분에 대한 실행 시간 상한(upper runtime bounds)과 크기 상한(size bounds)을 교대로 모듈식 추론(alternating modular inference)하는 방식을 구현합니다. 특히, KoAT는 서브프로그램을 분석하기 위해 다양한 기술의 포트폴리오(portfolio)를 사용합니다. 우리 접근 방식의 강력함은 광범위한 실험적 평가를 통해 입증되었습니다.

서지 및 인용 도구

이 논사와 관련된 코드, 데이터 및 미디어

데모

추천 및 검색 도구

arXivLabs: 커뮤니티 협력자와 함께하는 실험적 프로젝트

arXivLabs는 협력자들이 우리 웹사이트에서 직접 새로운 arXiv 기능을 개발하고 공유할 수 있도록 지원하는 프레임워크입니다.

arXivLabs와 함께 활동하는 개인 및 조직은 개방성, 커뮤니티, 탁월함, 그리고 사용자 데이터 프라이버시라는 우리의 가치를 수용하고 받아들였습니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다.

arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있습니까? arXivLabs에 대해 자세히 알아보세요.