Re: Using Prolog to Compile Things

anton@mips.complang.tuwien.ac.at (Anton Ertl)
22 May 1999 02:55:49 -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)
Re: Using Prolog to Compile Things bromage@cs.mu.OZ.AU (1999-05-27)
Re: Using Prolog to Compile Things hunk@alpha1.csd.uwm.edu (1999-06-02)
Re: Using Prolog to Compile Things nickroberts@callnetuk.com (Nick Roberts) (1999-06-06)
[1 later articles]
| List of all articles for this month |

From: anton@mips.complang.tuwien.ac.at (Anton Ertl)
Newsgroups: comp.compilers
Date: 22 May 1999 02:55:49 -0400
Organization: Institut fuer Computersprachen, Technische Universitaet Wien
References: 99-05-069 99-05-086
Keywords: prolog, bibliography

  gsg@mimuw.edu.pl (Grzegorz Grudzinski) writes:
> This issue (code selection and optimization) was discussed in a paper
> published in PLILP proceedings a few years ago, IIRC.


Bart Demoen has already mentioned our paper (thanks), but it's about
instruction scheduling; also, it's only practical if you use it with
timeouts (exponential behaviour in some cases). You can get it at
http://www.complang.tuwien.ac.at/papers/ertl&krall91.ps.gz


The paper about code selection in Prolog I know of is


@Article{ganapathi89,
    author = "Mahadevan Ganapathi",
    title = "Prolog Based Retargetable Code Generation",
    journal = "Computer Languages",
    year = "1989",
    volume = "14",
    number = "3",
    pages = "193--204"
}


- anton
--
M. Anton Ertl Some things have to be seen to be believed
anton@mips.complang.tuwien.ac.at Most things have to be believed to be seen
http://www.complang.tuwien.ac.at/anton/home.html





Post a followup to this message

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