언어 의미론: 정적 vs 실행
정적 의미론과 실행(동적) 의미론을 가르고, 작동적·표시적·공리적 의미론을 정리합니다. '그냥 의미론'이라 뭉뚱그릴 때 생기는 함정도 함께.
36문항
한국어
O/X주관식4지선다
#의미론#타입#형식언어
앱이 아직 설치되지 않은 것 같아요. 아래 TestFlight에서 Swiq를 설치한 뒤, 이 페이지로 돌아와 다시 눌러 주세요.
앱이 설치돼 있다면 '앱에서 열기'가 이 세트를 바로 열어요.
아직 앱이 없다면
TestFlight로 받기
미리보기
프롬프트 5장 미리보기 · 정답과 해설은 앱에서 확인하세요
1
정적 의미론(static semantics)은 프로그램을 실행하지 않고 컴파일 시점에 판정하는 규칙(타입 검사·스코프 규칙 등)을 다룬다.
2
실행 의미론(동적 의미론)은 프로그램이 실제 실행될 때의 동작(계산 결과·상태 변화 등)을 규정한다.
3
프로그램의 의미를 '추상 기계의 상태 전이(step)'로 정의하는 의미론은?
4
프로그램을 수학적 대상(예: 함수)으로 사상하여 의미를 부여하는 방식은?
5
사전조건/사후조건과 호어 논리(Hoare logic)로 프로그램의 성질을 다루는 의미론은?
🔒 정답·해설은 앱에서만 볼 수 있어요