Operational Semantics and Compiler Generation.

Hermano Moura <moura@dcs.glasgow.ac.uk>
Fri, 26 Feb 1993 18:51:50 GMT

          From comp.compilers
Related articles
Operational Semantics and Compiler Generation. moura@dcs.glasgow.ac.uk (Hermano Moura) (1993-02-26)
SUMMARY: Operational semantics and compiler generation. moura@dcs.glasgow.ac.uk (Hermano Moura) (1993-03-15)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Hermano Moura <moura@dcs.glasgow.ac.uk>
Keywords: semantics, question
Organization: Compilers Central
Date: Fri, 26 Feb 1993 18:51:50 GMT

Could someone give some references regarding the use of [structural]
operational semantics for [semantics-directed] compiler generation?
Pointers to papers, systems, groups, etc are welcome. (Answers by e-mail
is preferable; I will summarize to this group if there is enough
interest.)


Many thanks,


-- Hermano Moura
      Computing Science
      Glasgow University
--

Post a followup to this message

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