Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!sics.se!dan From: dan@sics.se (Dan Sahlin) Newsgroups: comp.lang.prolog Subject: An Automatic Partial Evaluator for Full Prolog Message-ID: <1991May22.100133.16175@sics.se> Date: 22 May 91 10:01:33 GMT Sender: news@sics.se Distribution: comp Organization: SICS, Swedish Inst. of Computer Science Lines: 13 My thesis named "An Automatic Partial Evaluator for Full Prolog" is now available. Just send me your postal adress, and I will mail you a copy. Mixtus, the partial evaluator described in the thesis, is also available for research and educational purposes. Let me know if you are interested, and I will send you information on how to "ftp" a copy of the system. Dan Sahlin SICS, Sweden email: dan@sics.se /Dan