Re: Using C as a back end

"Stephen T. Weeks" <sweeks@my-deja.com>
31 Oct 2000 14:33:50 -0500

          From comp.compilers
Related articles
[12 earlier articles]
Re: Using C as a back end jaidi@fos.ubd.edu.bn (Pg Nor Jaidi Pg Tuah) (2000-10-26)
Re: Using C as a back end predictor@my-deja.com (Pred.) (2000-10-26)
Re: Using C as a back end ONeillCJ@logica.com (Conor O'Neill) (2000-10-26)
Re: Using C as a back end kst@cts.com (Keith Thompson) (2000-10-26)
Re: Using C as a back end jacob@jacob.remcomp.fr (jacob navia) (2000-10-26)
Re: Using C as a back end nr@labrador.eecs.harvard.edu (2000-10-31)
Re: Using C as a back end sweeks@my-deja.com (Stephen T. Weeks) (2000-10-31)
Re: Using C as a back end zs@ender.cs.mu.oz.au (2000-10-31)
Re: Using C as a back end thp@cs.ucr.edu (Tom Payne) (2000-10-31)
Re: Using C as a back end engler@Stanford.EDU (2000-10-31)
Re: Using C as a back end anton@mips.complang.tuwien.ac.at (2000-10-31)
Re: Using C as a back end joachim_d@gmx.de (Joachim Durchholz) (2000-10-31)
Re: Using C as a back end conway@ender.cs.mu.oz.au (2000-11-01)
[10 later articles]
| List of all articles for this month |
From: "Stephen T. Weeks" <sweeks@my-deja.com>
Newsgroups: comp.compilers
Date: 31 Oct 2000 14:33:50 -0500
Organization: Deja.com - Before you buy.
References: 00-10-148 00-10-201
Keywords: code, functional
Posted-Date: 31 Oct 2000 14:33:50 EST

"Pg Nor Jaidi Pg Tuah" <jaidi@fos.ubd.edu.bn> wrote:


> At this point I'm feeling rather stupid. Can anyone please
> tell me, or point out a convenient reference, about
> "trampoline". I thought a simple loop is sufficient to
> preserve (eliminate!) tail
> recursion. There must be something that I have
> overlooked in this jumpy business. May be something to
> do with mutual recursion?


Trampolines are a way of implementing loops that cross C procedure
boundaries without growing the C stack. Here's a few of papers that
mention them, and are also relevant to the original post about using C
as a target language.


No Assembly Required: A Standard ML to C Compiler
David Tarditi, Peter Lee, and Anurag Acharya.
http://www.cs.cmu.edu/~petel/papers/misc/sml2c.ps


Compiling Higher-Order Languages into Fully Tail-Recursive Portable C.
Marc Feeley, James S. Miller, Guillermo J. Rozas, Jason A. Wilson.
http://www.iro.umontreal.ca/~feeley/papers/tr1078.ps.gz


C--: A Portable Assembly Language
Simon Peyton Jones, Thomas Nordin, and Dino Oliva.
http://www.cminusminus.org/download/pal-ifl.ps.gz

Post a followup to this message

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