Re: abstract machine design

torbenm@sjofn.diku.dk (Torben Ęgidius Mogensen)
13 Apr 2002 23:09:57 -0400

          From comp.compilers
Related articles
abstract machine design abate@students.cs.unibo.it (Pietro Abate) (2002-04-10)
Re: abstract machine design bmd@cs.kuleuven.ac.be (Bart Demoen) (2002-04-13)
Re: abstract machine design adamo@dblab.ece.ntua.gr (Yiorgos Adamopoulos) (2002-04-13)
Re: abstract machine design andi@complang.tuwien.ac.at (2002-04-13)
Re: abstract machine design torbenm@sjofn.diku.dk (2002-04-13)
| List of all articles for this month |
From: torbenm@sjofn.diku.dk (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 <abate@students.cs.unibo.it> 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 ?


@Article{Kursawe:1987:HowTo,
    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:


@PhDThesis{Kursawe:1990:PartialEvaluation,
    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 (torbenm@diku.dk)

Post a followup to this message

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