«formal-systems» 태그된 질문

공식적인 방법의 중요한 목표는 자동화 된 또는 사람이 지시하는 방법으로 시스템의 정확성을 입증하는 것입니다. 그러나 올바른 증거를 제공 할 수 있어도 시스템이 실패하지 않을 것이라고 보장하지 못할 수 있습니다. 예를 들면 다음과 같습니다. 사양이 시스템을 올바르게 모델링하지 않거나 생산 시스템이 모델링하기에 너무 복잡하거나 모순 된 요구 사항으로 인해 시스템에 결함이있을 …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

저는 프로그래밍 언어 이론에 익숙하지 않으며 프로그래밍 언어의 형식적 의미론을위한 리소스에 대한 좋은 리소스를 찾고 있습니다. 특히 구조적 작동 의미론을 찾고 있습니다. 책 추천을 받았습니다. 그러나 나는 더 입문적인 수준의 리소스를 찾고 있습니다. 특히 튜토리얼, 웹 사이트 및 무료 도서 권장 사항을 환영합니다.

17 reference-request  pl.programming-languages  semantics  formal-systems 

시스템 "F"와 시스템 "T"의 이름이 어디에서 유래했는지 아는 사람이 있습니까? 누가 그 이름 (Girard System F, Gödel System T)을 소개했는지는 묻지 않고 "F"와 "T"의 의미는 무엇입니까?

9 ho.history-overview  type-systems  formal-systems