 | Dafny.새로운 Whe를위한 전망대에 항상 개발자를위한 새로운 프로그래밍 코드 언어를 ... |
| 지금 다운로드 | |
Dafny. 순위 및 요약
광고
Dafny. 태그
Dafny. 설명
Dafny는 프로그램 검증기와 함께 프로그래밍 언어로 개발자에게 제공합니다. DAFNY를 사용하면 프로그램을 입력하면 검증자가 코드가 오류가 없는지 확인합니다. Dafny 자체는 다음과 같은 여러 가지 영향을 그립니다. · 유클리드 (프로그램을 검증 할 언어를 설계하는 것의 사고 방식으로부터) · 에펠 (계약 체결 내장) · CLU (반복자와 같은, 출력 매개 변수 구문에 대한 소수) · DAFNY가 하위 클래스를 지원하지는 않지만 Java 및 C # (클래스와 마찬가지로) · ML (모듈 시스템과 마찬가지로 및 유도 성 데이터 유형과 마찬가지로 DAFNY는 고차원 기능을 지원하지 않습니다) · CoQ (유도 성 데이터 유형을 포함하고 유도 성 및 공동 유도 성 증명을 작성할 수있는 능력)
Dafny. 관련 소프트웨어
