Exact ref. for denotational defn of C

tektronix!zehntel!sytek!menlo70!hao!seismo!rocheste!mark tektronix!zehntel!sytek!menlo70!hao!seismo!rocheste!mark
Mon Mar 21 16:53:31 AEST 1983

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.


More information about the Comp.lang.c mailing list