정수 집합 라이브러리
Integer set library| 개발자 | 스벤 베르둘레게, INRIA 등 |
|---|---|
| 안정적 해제 | 0.24 / 2021년 5월 1일; 전[1] |
| 다음에서 사용 가능 | C |
| 유형 | 수학적 소프트웨어 |
| 면허증 | MIT |
| 웹사이트 | libisl |
isl(integer set library)은 선형 제약조건에 의해 경계된 정수 포인트의 관계와 집합을 조작하기 위한 휴대용 C 라이브러리다.[2]
지원되는 작업은 다음과 같다.[3]
또한 일반화된 기준 축소에 기초한 ILP 해결사, 지도에 대한 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석 및 단계별 폴리노멀에 대한 경계를 포함한다.
모든 계산은 GMP 또는 imath를 사용하여 정확한 정수 산술로 수행된다.
많은 프로그램 분석 기법은 정수 세트 조작에 기초한다.정수는 일반적으로 루프 중첩 또는 배열 요소의 반복을 나타낸다.isl은 매개변수 정수 프로그래밍을 사용하여 정수 눈금의 관점에서 명시적 표현을 얻는다.
루프 최적화를 위한 GCC Graphy 프레임워크와[4] LLVM Polly 프레임워크에서[5] 백엔드 다면 라이브러리로 사용된다.
참고 항목
참조
- ^ "isl 0.24".
- ^ Verdoolaege, Sven (2010). "isl: An Integer Set Library for the Polyhedral Model" (PDF). 6327: 299–302. doi:10.1007/978-3-642-15582-6_49. ISSN 0302-9743.
{{cite journal}}:Cite 저널은 필요로 한다.journal=(도움말) - ^ "isl Manual" (PDF). 2015-06-11. Retrieved 2015-09-02.
- ^ "GCC prerequisites". 2015-07-26. Retrieved 2015-09-02.
- ^ "LLVM Polly External Libraries". 2020-02-10. Retrieved 2020-05-18.
