Computer Science · Programming Languages
A topic within Programming Languages, itself one of 13 topics in that field and part of Computer Science.
2 works
Christopher Strachey
Introduces the vocabulary of L-values versus R-values, and of a language's meaning as a mathematical function from programs to values, that later semantics work built on.
Gordon D. Plotkin
Defines a program's meaning by syntax-directed inference rules over its own structure, giving operational semantics the same rigour denotational semantics already had.
link checked 17 Sept 2026