|Denotational semantics for intermediate representation email@example.com (S.Bharadwaj Yadavalli) (1996-04-06)|
|From:||"S.Bharadwaj Yadavalli" <firstname.lastname@example.org>|
|Date:||6 Apr 1996 22:18:59 -0500|
|Keywords:||denotational semantics, question|
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
Thanks a lot for the help and time.
Return to the
Search the comp.compilers archives again.