Re: abstract machine design (Torben Ęgidius Mogensen)
13 Apr 2002 23:09:57 -0400

          From comp.compilers

Related articles
abstract machine design (Pietro Abate) (2002-04-10)
Re: abstract machine design (Bart Demoen) (2002-04-13)
Re: abstract machine design (Yiorgos Adamopoulos) (2002-04-13)
Re: abstract machine design (2002-04-13)
Re: abstract machine design (2002-04-13)
| List of all articles for this month |

From: (Torben Ęgidius Mogensen)
Newsgroups: comp.compilers
Date: 13 Apr 2002 23:09:57 -0400
Organization: Department of Computer Science, University of Copenhagen
References: 02-04-071
Keywords: design, bibliography
Posted-Date: 13 Apr 2002 23:09:57 EDT

Pietro Abate <> writes:

> I'm working on the specification of an abstract machine for a
> logic-based programming language. Since now, I've found only two
> interesting projects: TARSKI, that is the abstract machine used by
> TIM, and WAM, that is the prolog abstract machine. However I've not
> still found any scientific papers or web sites to have a general idea
> of how an abstract machine should be designed.
> Does anybody have any suggestion/pointer ?

    author = "P. Kursawe",
    title = "How to Invent a {Prolog} Machine",
    journal = "New Generation Computing",
    year = "1987",
    volume = "5",
    pages = "97-114",
    OPTnote = ""}

It describes a systematic derivation of a WAM-like abstract machine.
A more general description of the approach can be found in:

    author = "P. Kursawe",
    title = "Partial Evaluation for Construction of Intermediate
                                  Languages (GMD-Bericht 187, Gesellschaft f{\"u}r
                                  Mathematik und Datenverarbeitung, Sankt Augustin, Germany)",
    school = "University of Karlsruhe, Germany",
    year = "1990",
    note = "(In German)"}

But, as the note says, this is in German.

Torben Mogensen (

Post a followup to this message

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