noun
denotational
Technical term used in linguistics, logic, and computer science to refer to meaning or reference as opposed to connotation or operational behavior.
デノテーショナル意味論はプログラミング言語の形式的な意味を扱う。
Denotational semantics deals with the formal meaning of programming languages.