|Denotational Semantics of Imperative Programs email@example.com (1994-08-18)|
|From:||firstname.lastname@example.org (Kurt Stirewalt)|
|Keywords:||denotational semantics, question|
|Date:||Thu, 18 Aug 1994 13:14:36 GMT|
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
Return to the
Search the comp.compilers archives again.