Re: Interpreters & Intermediate languages

Bryan O'Sullivan <bosullvn@maths.tcd.ie>
Fri, 22 Apr 1994 16:40:18 GMT

          From comp.compilers

Related articles
Interpreters & Intermediate languages elan@tasha.cheme.cornell.edu (1994-04-13)
Re: Interpreters & Intermediate languages pardo@cs.washington.edu (1994-04-13)
Re: Interpreters & Intermediate languages leichter@thorium.rutgers.edu (1994-04-19)
Re: Interpreters & Intermediate languages khorsell@ee.latrobe.edu.au (1994-04-21)
Re: Interpreters & Intermediate languages bosullvn@maths.tcd.ie (Bryan O'Sullivan) (1994-04-22)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Bryan O'Sullivan <bosullvn@maths.tcd.ie>
Keywords: interpreter, translator
Organization: University of Dublin, Trinity College
References: 94-04-092 94-04-141
Date: Fri, 22 Apr 1994 16:40:18 GMT

khorsell@ee.latrobe.edu.au (Kym Horsell) writes:


Elan> I'm looking to write a fast emulator for the Z80. I want to use
Elan> dynamic translation.


Kym> Partial evaluation technology is probably what you need.


Kym> There are research-oriented books (the area is till quite new)
Kym> but Pagan has a nice little book illustrating how to turn
Kym> interpreters written is Pascal into straight code.


You might want to check out Jones, Gomard and Sestoft, `Partial
Evaluation and Program Specialisation', Prentice Hall 1993. It gives
a pretty thorough and comprehensible grounding in the current state of
the art in partial evaluation, and has a fair-sized bibliography at
the back.


For what it's worth, I think the overhead involved in learning about
partial evaluation techniques is probably not justified for a single
project. I think David Keppel's papers on RTCG and instruction set
simulation and those they reference (Bedichek's 88000 simulator in
particular) provide more immediately accessible techniques, if you
want to dynamically translate your code in an efficient manner. See
David's recent postings here for further details.


<b
--
Bryan O'Sullivan
Computer Science Department
University of Dublin
--


Post a followup to this message

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