{"version":"1.0","type":"link","title":"Dafny - Newikis","description":"Dafny는 C#, 자바, 자바스크립트, Go, 파이썬과 같은 다른 프로그래밍 언어로 컴파일되는 명령형 및 함수형 컴파일 언어이다. 이 언어는 사전 조건, 사후 조건, 루프 불변성, 루프 변형(loop variant), 종료 사양 및 읽기/쓰기 프레이밍 사양을 통해 형식 명세를 지원한다. Dafny는 함수형 프로그래밍과 명령형 프로그래밍 패러다임의 아이디어를 결합하며, 객체 지향 프로그래밍을 지원한다. 제네릭 클래스, 동적 할당, 귀납적 자료형, 그리고 부작용을 추론하기 위한 암시적 동적 프레임(implicit dynamic…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/commons/4/44/Dafny_logo.jpg","thumbnail_width":690,"thumbnail_height":573}