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.