차례:
정의-Axiomatic Semantics는 무엇을 의미합니까?
공리적 의미론은 코드에 내재 된 관계의 의미 론적 표현입니다. 이러한 표현은 일부 소프트웨어 작동 방식을 설명하는 데 도움이 될 수 있습니다.
Techopedia는 Axiomatic Semantics를 설명합니다
다른 유형의 표현과 달리 공리적 의미론에서 흥미로운 점은 특정 결과 및 조건에 대해 상당히 독립적이라는 것입니다. 오히려 공리적 의미론은 시스템의 작동 방식을 설명합니다. 이것을 생각하는 한 가지 방법은 근본 단어 인 공리를 사용하는 것인데, 이는 시스템에 대한 좀 더 광범위한 진실을 암시합니다. 예를 들어, 특정 함수에 대한 공리적 의미 론적 진술은 그것이 무엇을 의미하는지, 어떤 종류의 인수를 취하며 어떤 종류의 결과를 반환 하는지를 설명합니다. 여기에는 실제 변수에 대한 지식이 필요하지 않습니다.
