|abstract machine design firstname.lastname@example.org (Pietro Abate) (2002-04-10)|
|Re: abstract machine design email@example.com (Bart Demoen) (2002-04-13)|
|Re: abstract machine design firstname.lastname@example.org (Yiorgos Adamopoulos) (2002-04-13)|
|Re: abstract machine design email@example.com (2002-04-13)|
|Re: abstract machine design firstname.lastname@example.org (2002-04-13)|
|From:||Pietro Abate <email@example.com>|
|Date:||10 Apr 2002 00:23:44 -0400|
|Organization:||Australian National University|
|Posted-Date:||10 Apr 2002 00:23:44 EDT|
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
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
Return to the
Search the comp.compilers archives again.