Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999

First Page		Document Content
Date: 2010-10-22 08:04:48 Partial evaluation Algorithm Computing Mathematics Software engineering Static program analysis Termination analysis		Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999 Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 917,32 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