1
프로그래밍 언어 시맨틱 프로토 타이핑 도구
프로그래밍 언어 시맨틱 및 유형 시스템을 프로토 타이핑하는 도구가 있습니까? 또한 유형 건전성과 같은 표준 속성을 검사 할 수있는 도구가 있습니까? 나는 Alloy에 관한 책을 읽고 있기 때문에 내가 원하는 정확한 기능을 제공하지만 관계형 논리를 사용하여 표현 된 모델에 대해 이것을 요구하고 있습니다. Ott에 대해 알고 있지만 이러한 유형의 "모델 …