abstract machine design

Pietro Abate <abate@students.cs.unibo.it>
10 Apr 2002 00:23:44 -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: Pietro Abate <abate@students.cs.unibo.it>
Newsgroups: comp.compilers
Date: 10 Apr 2002 00:23:44 -0400
Organization: Australian National University
Keywords: design, question
Posted-Date: 10 Apr 2002 00:23:44 EDT

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 ?


pgp key: 1024D/8A091922 2000-10-18
Pietro Abate <abateNoMoReSpAm@students.cs.unibo.it>
Key fingerprint = 5111 D91B 5E0C 5CE6 FDA3 5EF4 6120 E18E 8A09 1922
public key avalaible via public key server at wwwkeys.eu.pgp.net

Post a followup to this message

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