Jisho

×
表示的意味論
Links
Wikipedia definition
1. Denotational semantics​In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
Read “Denotational semantics” on English Wikipedia
Read “表示的意味論” on Japanese Wikipedia
Read “Denotational semantics” on DBpedia

Discussions

to talk about this word.