Re: Using Prolog to Compile Things

gsg@mimuw.edu.pl (Grzegorz Grudzinski)
20 May 1999 01:49:54 -0400

          From comp.compilers

Related articles
Using Prolog to Compile Things nickroberts@callnetuk.com (Nick Roberts) (1999-05-16)
Re: Using Prolog to Compile Things gsg@mimuw.edu.pl (1999-05-20)
Re: Using Prolog to Compile Things fjh@cs.mu.OZ.AU (1999-05-21)
Re: Using Prolog to Compile Things bmd@cs.kuleuven.ac.be (1999-05-21)
Re: Using Prolog to Compile Things anton@mips.complang.tuwien.ac.at (1999-05-22)
Re: Using Prolog to Compile Things gkt37@dial.pipex.com (JT) (1999-05-22)
Re: Using Prolog to Compile Things Daniel.Diaz@inria.fr (1999-05-22)
Re: Using Prolog to Compile Things bmd@cs.kuleuven.ac.be (1999-05-27)
[4 later articles]
| List of all articles for this month |

From: gsg@mimuw.edu.pl (Grzegorz Grudzinski)
Newsgroups: comp.compilers
Date: 20 May 1999 01:49:54 -0400
Organization: Moj niedokonfigurowany serwer nowinek
References: 99-05-069
Keywords: prolog

Nick Roberts <nickroberts@callnetuk.com> pisze:
>Has anyone on this ng experience or knowledge of the use of Prolog to
>implement a native-code compiler for a typical high-level imperative
>language?


[...]


>I'm particularly interested in the idea of using Prolog's natural searching
>abilities to search for truly optimal code.


This issue (code selection and optimization) was discussed in a paper
published in PLILP proceedings a few years ago, IIRC. I do not have the
reference handy, if you want me to look for it, please write me an email, I
do not read this group too frequently.


Best,
-- Grzes
Grzegorz Grudzinski Institute of Informatics, Warsaw University
gsg@mimuw.edu.pl http://zls.mimuw.edu.pl/~gsg/


Post a followup to this message

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