Re: Intermediate Representation

Duke Briscoe <briscoe-duke@CS.YALE.EDU>
Wed, 08 Aug 90 17:14:13 GMT

          From comp.compilers

Related articles
Intermediate Representation simon_google@mookstar.co.uk (2001-10-10)
Re: Intermediate Representation jbeniston@siroyan.com (Jon Beniston) (2001-10-12)
Re: Intermediate Representation vbdis@aol.com (2001-10-12)
Intermediate Representation napi@rangkom.MY (1990-08-07)
Re: Intermediate Representation briscoe-duke@CS.YALE.EDU (Duke Briscoe) (1990-08-08)
Re: Intermediate Representation preston@rice.edu (Preston Briggs) (1990-08-08)
Re: Intermediate Representation mod@westford.ccur.com (Michael O'Donnell (508)392-2915) (1990-08-09)
Re: Intermediate Representation grover@brahmand.Eng.Sun.COM (1990-08-09)
Re: Intermediate Representation preston@titan.rice.edu (1990-08-10)
Re: Intermediate Representation larus@primost.cs.wisc.edu (1990-08-12)
Re: Intermediate Representation grover@brahmand.Eng.Sun.COM (1990-08-12)
[17 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers
From: Duke Briscoe <briscoe-duke@CS.YALE.EDU>
In-Reply-To: <1990Aug07.153407.8877@esegue.segue.boston.ma.us>
Keywords: coded, denotational semantics, optimize
Organization: Compilers Central
Date: Wed, 08 Aug 90 17:14:13 GMT

You might be interested in the following PhD thesis:


Compilation by Program Transformation


Richard Kelsey
Yale University
May 1989


Abstract: This dissertation describes a simple compiler, based on concepts
from denotational semantics, that can be used to compile standard programming
languages and produces object code as efficient as that of production
compilers. The compiler uses only source-to-source transformations. The
transformations are performed on programs that have been translated into an
intermediate language resembling the lambda calculus. The output of the
compiler, while still in the intermediate language, can be trivially
translated into machine code for the target machine. The
compilation-by-transformation strategy is simple: the goal is to remove any
dependencies on the intermediate language semantics that the target machine
cannot implement directly. Front-ends have been written for Pascal and
Basic, and the compiler produces code for the MC68020 microprocessor.


--


Post a followup to this message

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