Re: Availability of Warren Papers
Thu, 8-Mar-90 22:17:10 PST

          From comp.compilers

Related articles
Availability of Warren Papers budd@mist.CS.ORST.EDU (Tim Budd) (1990-03-05)
Re: Availability of Warren Papers (1990-03-15)
| List of all articles for this month |

From: ames!claris!portal!!pgl@GARP.MIT.EDU
Date: Thu, 8-Mar-90 22:17:10 PST
Keywords: prolog

> Does anybody know if either of the Warren papers recently discussed
> (SRI TR 309, and Edinburgh Research Reports 39 and 40), have been
> reprinted, or if either are still available from the original sources, and
> if so to whom should inquiries be sent?

I have only well-worn photocopies. Why don't you ask on comp.lang.prolog?
You should also look for "A Tutorial on the Warren Abstract Machine for
Computational Logic" by Gabriel, Lindholm, Lusk and Overbeek, Argonne
National Laboratory Report ANL-84-84. [I've heard that only a limited
number were printed, but who knows?]

I doubt that DAI 39/40 is of much use now beyond historical references.

A printed reference is: "Optimizing Tail Recursion" by DHD Warren in "Logic
Programming and its Applications" (van Cameghan and Warren editors),
Ablex Publishing, 1986.

A very condensed version of SRI 309 was published in the 1986 or 1987
Logic Programming conference by Tick & Warren, entitled something like
"Torwards a Pipelined Prolog Engine" (sorry, I don't have the reference

- peter ludemann,

Post a followup to this message

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