[net.lang.c] Exact ref. for denotational defn of C

mark (03/22/83)

Here it is for all of you who were wondering...

"A case study in specifying the semantics of a programming language"
Ravi Sethi, 7th POPL, 1980, pp. 117-130.

Mark.