Nghĩa chính
- Nghiên cứu về ngữ nghĩa hoặc diễn giải của các ngôn ngữ hình thứcdanh từkhông đếm được (uncountable)The study of the semantics, or interpretations, of formal languages.
- Nghiên cứu toán học nghiêm ngặt về ý nghĩa của ngôn ngữ lập trìnhdanh từkhông đếm được (uncountable)the rigorous mathematical study of the meaning of programming languages