Other attributes
Wikidata ID
No article content yet.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
Approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages