Re: Bootstrapping theory?

Greg Morrisett <jgm@CS.Cornell.EDU>
5 Sep 1996 23:51:20 -0400

          From comp.compilers

Related articles
Bootstrapping theory? eddie@voldsboks.pvv.ntnu.no (Kjetil Valstadsve) (1996-09-03)
Re: Bootstrapping theory? jgm@CS.Cornell.EDU (Greg Morrisett) (1996-09-05)
Re: Bootstrapping theory? sc@cs.unc.edu (1996-09-05)
Re: Bootstrapping theory? cliffc@ami.sps.mot.com (1996-09-05)
Re: Bootstrapping theory? jonm@saul.cis.upenn.edu (1996-09-05)
Re: Bootstrapping theory? jvaasjo@gpu.srv.ualberta.ca (Jens Vaasjo) (1996-09-25)
Re: Bootstrapping theory? pardo@cs.washington.edu (1996-09-29)
Re: Bootstrapping theory? jbuck@Synopsys.COM (1996-09-29)
| List of all articles for this month |

From: Greg Morrisett <jgm@CS.Cornell.EDU>
Newsgroups: comp.compilers
Date: 5 Sep 1996 23:51:20 -0400
Organization: Cornell University
References: 96-09-014
Keywords: design

Kjetil Valstadsve wrote:
> Does anyone have pointers to literature describing the process and
> idea of writing a bootstrapped compiler? I've read the chapter in the
> Dragon.


Andrew Appel had a paper in Transactions on Programming
Languages and Systems, called something like: "Axiomatic
Bootstrapping". It's very interesting, especially when you
consider a compiler embedded in an interactive system.


An earlier draft of the paper appears as a Princeton tech
report:


http://ncstrl.cs.princeton.edu:80/Document/PRINCETONCS:TR-451-94




-Greg Morrisett


--


Post a followup to this message

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