Re: abstract machine design (Andreas Krall)
13 Apr 2002 23:09:05 -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: (Andreas Krall)
Newsgroups: comp.compilers
Date: 13 Apr 2002 23:09:05 -0400
Organization: Vienna University of Technology, Austria
References: 02-04-071
Keywords: design
Posted-Date: 13 Apr 2002 23:09:05 EDT

Pietro Abate <> writes:
> Hi everybody.
> 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 ?
> .... and another question: where can I find the WAM description/reference
> manual ?

There is also the Vienna Abstract Machine. The related articles can
be found on my home page. Additionally there is:

AUTHOR = {Andreas Krall},
TITLE = {The {Vienna Abstract Machine}},
JOURNAL = {Journal of Logic Programming},
PUBLISHER = {Elsevier},
VOLUME = {29(1-3)},
PAGES = {85--106},
YEAR = 1996}

There is the ALF abstract machine:

A good description of the WAM is the book

Warren's Abstract Machine: A Tutorial Reconstruction
by Hassan At-Kaci. Since it is out of print the .ps or .pdf
files can be downloaded for private use.

-- Andreas Krall Inst. f. Computersprachen, TU Wien
tel: (+431) 58801/18511 Argentinierstr. 8/4/1851
fax: (+431) 58801/18598 A-1040 Wien AUSTRIA EUROPE

Post a followup to this message

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