|Semantics directed compiler generators email@example.com (Jorgen Iversen) (2004-09-03)|
|Re: Semantics directed compiler generators firstname.lastname@example.org (Randy Crawford) (2004-09-08)|
|From:||Randy Crawford <email@example.com>|
|Date:||8 Sep 2004 00:05:51 -0400|
|Organization:||Rice University, Houston, TX|
|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 http://www.ruf.rice.edu/~rand
Return to the
Search the comp.compilers archives again.