Denotational Semantics of Imperative Programs

I am looking to collect denotational semantic definitions for a number of
programming languages. I know of one for Pascal, and I've heard one exists
for Ada and Prolog, but I haven't been able to dig one up for languages like
Fortran or C. Does anyone have references to either of the above? If there is
interest, I will post a summary.

Also, does anyone know of a newsgroup or mailing list which deals with issues
in denotational semantics and/or abstract interpretation?

Thanks in advance.

-- kurt stirewalt
(kurt@cc.gatech.edu)

--

Return to the comp.compilers page.
Search the comp.compilers archives again.