Denotational semantics for intermediate representation

"S.Bharadwaj Yadavalli" <sby@cs.usask.ca>
6 Apr 1996 22:18:59 -0500

          From comp.compilers
Related articles
Denotational semantics for intermediate representation sby@cs.usask.ca (S.Bharadwaj Yadavalli) (1996-04-06)
| List of all articles for this month |
From: "S.Bharadwaj Yadavalli" <sby@cs.usask.ca>
Newsgroups: comp.compilers
Date: 6 Apr 1996 22:18:59 -0500
Organization: Compilers Central
Keywords: denotational semantics, question

Hi,


I wish to know of references to work that uses denotational semantics
to describe an intermediate representation. I am interested in such
work particularly for abstract machine definitions used during
language compilation.


Thanks a lot for the help and time.


Bharadwaj
--

Post a followup to this message

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