 | 창백한오픈 소스 포인터 어설 션 논리 엔진 |
| 지금 다운로드 | |
창백한 순위 및 요약
광고
창백한 태그
창백한 설명
오픈 소스 포인터 어설 션 논리 엔진 포인터 어설 션 논리는 명령 언어의 힙 구조에 대한 어설 션을 표현하기위한 표기법입니다. 포인터 어설 션 로직은 프로그래머가 절차, 루프 불변단 및 그래프 유형의 약한 모나드 2 차 로직에서의 약한 모나드 2 차 논리에서 다른 어설 션을 지정할 수있게합니다. - 많은 일반적인 데이터 구조를 표현할 수있는 논리입니다. 논리는 디지털이므로 어설 션이 자동으로 확인할 수 있음을 의미합니다. 주 대상 응용 프로그램은 안전 핵심 데이터 유형 algorithms.pale (포인터 어설 션 논리 엔진)이며, Mona Tool.Pale을 기반으로 기술의 완전한 구현은 주석이 달린 프로그램을 분석하고 널 포인터 역 참조, 메모리 누수, 메모리 누수를보고합니다. 어설 션 및 그래프 유형 오류를 위반합니다. 설치 및 실행 방법 : Unarchive, 터미널 창을 열고 창백한 폴더로 이동하여 명령 줄에서 다음 명령을 실행하십시오. installPalepalemona 요구 사항을 첨부하십시오. · Apple Xcode.
창백한 관련 소프트웨어
