A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

First Page		Document Content
Date: 2010-10-22 08:05:10 Software engineering Computing Software Evaluation strategy Incremental computing Partial evaluation Programming language implementation Interpreter Logic programming Programming language Meta Eval		A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 624,83 KB Share Document on Facebook

	Partial Evaluation Applied to Ray Tracing Peter Holst Andersen January 10, 1995 Contents 1 Introduction DocID: 1u02h - View Document
	Compiler Generation by Partial Evaluation Speciale Jesper Jørgensen DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1 DocID: 1tRwK - View Document
	Improving the Static Analysis of Embedded Languages via Partial Evaluation David Herman Philippe Meunier DocID: 1tP8C - View Document
	Two for the Price of One: Composing Partial Evaluation and Compilation Michael Sperber Peter Thiemann DocID: 1tLLf - View Document
	Realistic Compilation By Partial Evaluation Michael Sperber Peter Thiemann Wilhelm-Schickard-Institut f¨ur Informatik DocID: 1tI7T - View Document