Re: Semantics directed compiler generators

Randy Crawford <>
8 Sep 2004 00:05:51 -0400

          From comp.compilers

Related articles
Semantics directed compiler generators (Jorgen Iversen) (2004-09-03)
Re: Semantics directed compiler generators (Randy Crawford) (2004-09-08)
| List of all articles for this month |

From: Randy Crawford <>
Newsgroups: comp.compilers
Date: 8 Sep 2004 00:05:51 -0400
Organization: Rice University, Houston, TX
References: 04-09-008
Keywords: semantics
Posted-Date: 08 Sep 2004 00:05:50 EDT

Jorgen Iversen wrote:
> Searching through the comp.compilers archive for information about
> semantics directed compiler generators, I have noticed that almost all
> postings are more then 10 years old, so I was wondering whether
> nothing has happened in this area the last 10 years.
> It would be a big help if someone could provide me pointers to
> homepages/papers describing recent tools.
> I am also interested in systems that generate compilers based on
> language descriptions, that do not use the conventional semantic
> frameworks (like operational, denotational etc.)
> Jørgen Iversen

Have you tried contacting some past researchers in this area directly
perhaps via email, (AFAIK, like Peter Lee of CMU)?

This area seems to fall between PL theory and compilers, so monographs
could end up in several forums, some of which could be quite theoretical
or nontraditional. Your best bet is probably to identify a few names
involved in recent work and then search Citeseer and university home
pages for their latest publications, the forums in which they published,
and others in the field whom they quote.

I'd then email these folks directly for further leads.


Randy Crawford rand AT rice DOT edu

Post a followup to this message

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