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

Previous message (by thread): C pet peeve
Next message (by thread): Bug in C optimiser
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): C pet peeve
Next message (by thread): Bug in C optimiser
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Comp.lang.c mailing list