full abstraction semantics / fully abstract semantics
- 딱맞는 의미구조
- 찰떡같은 의미구조
댓글 2개
이
이광근/YiKwangkeun·찰떡같은 의미구조·한 달 전
찰떡같은 의미구조를 제안해요.
이
이광근/YiKwangkeun·딱맞는 의미구조·한 달 전
각잡은 수학세계의 의미구조 정의가 현실의 직관과 정확히 일치하면 "fully abstract semantics" "full abstraction semantics"라고 하므로. 즉, 의미구조 정의 [[.]]가, (관찰하려는 실행모습이) 같은 프로그램은 같게, 다른 프로그램은 다르게 정의해 주면 "full abstraction semantics"라고 부른다: "a language's semantics definition [[.]] is fully abstract whenever [[e]] = [[e']] iff in all contexts e and e' behave the same (modulo observation)."