1. 다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.

Other approaches provide formal semantics of programming languages including axiomatic semantics and operational semantics.