From corin@cogsci.ed.ac.uk Tue Feb 8 23:27:36 EST 1994 Article: 9607 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:9607 Newsgroups: comp.lang.prolog Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!uknet!festival!edcogsci!corin From: corin@cogsci.ed.ac.uk (Corin Gurr) Subject: A Self-Applicable Partial Evaluator for Goedel Message-ID: Summary: Announcement of Phd thesis available by ftp. Keywords: Partial evaluation, self-application, ground representation, Goedel Organization: Centre for Cognitive Science, Edinburgh, UK Date: Tue, 8 Feb 1994 17:36:01 GMT Lines: 116 Partial evaluation is a program specialisation technique that has been shown to have great potential in logic programming, particularly for the specialisation of meta-interpreters by the so-called ``Futamura Projections''. Meta-interpreters and other meta-programs are programs which use another program as data. This message announces the availability of a recent Phd thesis which describes the development and implementation of a self-applicable partial evaluator for meta-programs in the logic programming language Goedel. @phdthesis{sage, author = {C A Gurr}, school = {Department of Computer Science, University of Bristol}, title = {A Self-Applicable Partial Evaluator for the Logic Programming Language Goedel}, month = jan, year = {1994} } Goedel is a declarative, general-purpose language which provides a number of higher-level programming features, including extensive support for meta-programming with a ground representation. The ground representation is a standard tool in mathematical logic in which object level variables are represented by ground terms at the meta-level. This thesis extends the basic techniques of partial evaluation to the facilities of the full Goedel language. Particular attention is given to the specialisation of the inherent overheads of meta-programs which use a ground representation and the foundations of a methodology for Goedel meta-programs are laid down. The soundness of the partial evaluation techniques is proved and these techniques are incorporated into a declarative partial evaluator. We describe the implementation and provide termination and correctness proofs for the partial evaluator SAGE, an automatic program specialiser based upon sound finite unfolding. Preliminary results are presented for the First, Second and Third Futamura projections. How to obtain the Phd thesis ------------------------------ This thesis and two related papers are available by ftp. The ftp site is ftp.cs.bris.ac.uk (137.222.102.102). At this site is the file: /goedel/Gurr-PhD-Thesis.tar.Z This tar-compressed file contains the files ReadMe, GurrThesis.dvi, GurrAbstract.dvi and GurrTR30.dvi The file ReadMe contains this message. The file GurrThesis.dvi contains the thesis. The file GurrAbstract.dvi contains a draft paper: @techreport{gurr94, author = {C A Gurr}, institution = {Human Communication Research Centre, University of Edinburgh}, number = {Draft copy}, title = {A Self-Applicable Partial Evaluator for the Logic Programming Language Goedel (Extended Abstract)}, year = {1994} } which provides a summary of this Phd thesis. The file GurrTR30.dvi contains the paper: @techreport{gurr92, author = {C A Gurr}, institution = {Department of Computer Science, University of Bristol}, number = {CSTR-92-30}, title = {Specialising the Ground Representation in the Logic Programming Language Goedel, year = {1992} } and is to appear in the proceedings of LoPSTr'93, Springer-Verlag. How to obtain Goedel - -------------------- The system is available by anonymous ftp. The ftp sites are ftp.cs.kuleuven.ac.be (134.58.41.2) and ftp.cs.bris.ac.uk (137.222.102.102). At the Leuven site, the file README in the directory /pub/logic-prgm/goedel gives further instructions on how to obtain the system. For the Bristol site, the README file is in the directory /goedel. - ---------------------------------------------------------------------- Corin Gurr Human Communication Research Centre Tel.: +41 31 650 4448 Edinburgh University Email: corin@cogsci.ed.ac.uk 2 Buccleuch Place FAX: +41 31 650 4587 Edinburgh EH8 9LW Scotland -- Corin Gurr Human Communication Research Centre Tel.: +41 31 650 4448 Edinburgh University Email: corin@cogsci.ed.ac.uk 2 Buccleuch Place FAX: +41 31 650 4587