Re: Compiling with Continuations/Andrew Appel

bimbart@cs.kuleuven.ac.be (Bart Demoen)
Wed, 29 Jan 1992 08:01:44 GMT

          From comp.compilers

Related articles
Compiling with Continuations/Andrew Appel nick@dcs.edinburgh.ac.uk (1992-01-23)
Re: Compiling with Continuations/Andrew Appel eifrig@blaze.cs.jhu.edu (1992-01-27)
Re: Compiling with Continuations/Andrew Appel norman@parc.xerox.com (1992-01-27)
Re: Compiling with Continuations/Andrew Appel carlton@husc10.harvard.edu (1992-01-27)
Re: Compiling with Continuations/Andrew Appel delacour@parc.xerox.com (Vincent Delacour) (1992-01-28)
Re: Compiling with Continuations/Andrew Appel bimbart@cs.kuleuven.ac.be (1992-01-29)
Re: Compiling with Continuations/Andrew Appel boehm@parc.xerox.com (1992-01-29)
Re: Compiling with Continuations/Andrew Appel oz@ursa.sis.yorku.ca (1992-01-29)
Re: Compiling with Continuations/Andrew Appel ulrich@mips.complang.tuwien.ac.at (1992-01-30)
| List of all articles for this month |

Newsgroups: comp.compilers
From: bimbart@cs.kuleuven.ac.be (Bart Demoen)
Keywords: storage, optimize
Organization: Dept. Computerwetenschappen K.U.Leuven
References: 92-01-101
Date: Wed, 29 Jan 1992 08:01:44 GMT

Compiling with continuations has been applied succesfully to the
compilation of Prolog: it is based on transforming a Prolog program to an
equivalent continuation based Prolog program (a binary program) and
compiling that the usual way. Performance is always close to stack-based
compiled programs and sometimes better. It lends itself to optimizations
which are more difficult to grasp in non-binary programs. See for
instance:


'Elementary Logic Programs' P. Tarau, M. Boyer Proceedings of PLILP'90,
pp. 159-173, (eds) P. Deransart & J. Maluszynski, Springer-Verlag 1990


'Implementation of Prolog as binary definite Programs' Bart Demoen, Andre
Marien to appear in the Proceedings of the second Russian Conference on
Logic Programming (also available as CW-report 129) in the same Russian
Proceedings, there is another paper from P. Tarau


Mats Carlsson (SICS) told me that his Prolog to Lisp compiler was based on
the same principle - back in the beginning of the eighties.


Bart Demoen
--


Post a followup to this message

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