Denotational Semantics of Imperative Programs

kurt@cc.gatech.edu (Kurt Stirewalt)
Thu, 18 Aug 1994 13:14:36 GMT

          From comp.compilers

Related articles
Denotational Semantics of Imperative Programs kurt@cc.gatech.edu (1994-08-18)
| List of all articles for this month |

Newsgroups: comp.compilers
From: kurt@cc.gatech.edu (Kurt Stirewalt)
Keywords: denotational semantics, question
Organization: Compilers Central
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
(kurt@cc.gatech.edu)


--


Post a followup to this message

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