ISBNISRN SICS DSE An Automatic Partial Evaluator for Full Prolog - Unification - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-22 08:04:36 Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises		ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 470,81 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