Warren Abstract Machine

Andrew Gavin <andrew.gavin@aethos.co.uk>
16 May 1997 23:54:39 -0400

          From comp.compilers
Related articles
Warren Abstract Machine andrew.gavin@aethos.co.uk (Andrew Gavin) (1997-05-16)
Re: Warren Abstract Machine dwight@pentasoft.com (Dwight VandenBerghe) (1997-05-19)
Re: Warren Abstract Machine fjh@mundook.cs.mu.OZ.AU (1997-05-22)
Re: Warren Abstract Machine pardo@cs.washington.edu (1997-05-22)
Re: Warren Abstract Machine clc5q@cs.virginia.edu (Clark L. Coleman) (1997-05-22)
Re: Warren Abstract Machine Jacques.Noye@emn.fr (1997-05-22)
| List of all articles for this month |
From: Andrew Gavin <andrew.gavin@aethos.co.uk>
Newsgroups: comp.compilers
Date: 16 May 1997 23:54:39 -0400
Organization: AEthos Communications
Keywords: theory, prolog, question

Hi all,
        Does anyone know where I might find some information on Warren
Abstract Machines? I am interested in books web sites and publically
available papers.


Failing this does anyone know any other languages like prolog which
are have similar unification and backtracking features? [If that is
not too dumb a question]


I am looking into how unification and backtracking are efficiently
implemented in lanuages.


Cheers


        Andy Gavin.
--

Post a followup to this message

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