728x90 programming_examples2 [Programming] Axiomatic Semantics examples Axiomatic semantics에 대해서 이해가 되지 않는데 예제를 주실 수 있나요? Axiomatic semantics는 Denotational semantics의 한 종류이다. [Programming] Denotational semantics examples Denotational semantics(표시적 의미론) 예제를 보여주실 수 있으신가요? Denotational semantics(표시적 의미론)이란 컴퓨터 언어에서 계산식 또는 수학적 메커니즘을 개발자가 이해할 수 있는 방식으로 표�� whoishoo.tistory.com Axiomatic semantics 또한 프로그램에서 특정 logic이 어떤 식으로 작동하고 값이 산출되는지를 확인하기 위해서 사용된다. 한마디로 Axiomatic sem.. 2020. 10. 8. [Programming] Denotational semantics examples Denotational semantics(표시적 의미론) 예제를 보여주실 수 있으신가요? Denotational semantics(표시적 의미론)이란 컴퓨터 언어에서 계산식 또는 수학적 메커니즘을 개발자가 이해할 수 있는 방식으로 표시한 것이다. 한마디로 프로그래밍에 있는 계산식을 Denotational semantics 방식의 문자로 표현했다고 보면 된다. 위의 문법은 Denotational semantics를 이해하고자 만든 example이다. Grammar와 Semantics를 통해 주어진 값을 어떻게 산출해야 할지 알 수 있다. 예를 들어, "cab"를 구한다고 가정해보자. 왼쪽부터 풀어주기 때문에 "cab"에서는 c의 값을 먼저 구해준다. c의 값을 구하면 c와 a는 'a'에서 c는 가 되고 '.. 2020. 10. 8. 이전 1 다음 728x90
