ciaopp

CIAOPP 프로그램 프로세서

CIAOPP는 CIAO의 프로그램 프로세서 프레임 워크입니다. CIAOPP는 여러 프로그램 디버깅, 분석 및 소스 간 소스 변환 작업을 수행합니다.

• 프로그램의 Predicates 및 Literals의 속성 ( 유형 , 모드 및 기타 변수 인스턴스턴스 특성, 비 후급 , 결정 , 계산 비용 , 프로그램의 용어 크기 등의 경계 등의 추론).

• 특정 종류의 정적 디버깅 및 검증 , 프로그램을 실행하기 전에 오류를 찾습니다. 여기에는 프로그램이 시스템 라이브러리를 호출하는 방법을 확인하고 프로그램 또는 프로그램에서 사용하는 다른 모듈에있는 주장을 확인하는 것이 포함됩니다. 이러한 주장은 본질적으로 프로그램의 부분 사양을 나타냅니다.

• 프로그램 전문화 , 슬라이스 , 부분 평가 , 프로그램 병렬화 ( 세분화 제어 를 고려), 컴파일 타임에서 완전히 점검 할 수없는 어설 션에 대한 런타임 테스트 포함 등 여러 종류의 소스 to 소스 프로그램 변환

분석에 의해 생성 된 정보와 사양의 어설 션은 모두 동일한 어설 션 언어 로 작성되며, CIAO 시스템 문서 생성기 lpdoc 에서도 사용됩니다.

이 저장소에는 몇 가지 기본 분석, 변환 및 언어 지원과 함께 일반 전 처리기 프레임 워크가 포함되어 있습니다. 다른 기능 (다양한 프로그래밍 언어 지원 포함)은 별도의 번들로 배포됩니다.

CIAOPP는 GNU 일반 공개 라이센스에 따라 배포됩니다.

설치

기본적으로 CIAO는 시스템 컴파일 중에 CIAOPP를 감지하고 빌드합니다. 기본 구성 옵션을 사용자 정의하려면 CIAO 설치 지침을 참조하십시오.

다음 명령으로 CIAOPP의 별도의 빌드 및 설치를 수행 할 수 있습니다.

 $ ciao get ciaopp