A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

First Page		Document Content
Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation		A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 888,91 KB Share Document on Facebook

	iSWoM: The incremental Storage Workload Model based on Hidden Markov Models Tiberiu Chis and Peter G. Harrison Department of Computing, Imperial College London, Huxley Building, 180 Queens Gate, London SW7 2RH, UK {tc207 DocID: 1t39E - View Document
	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 DocID: 1rq2u - View Document
	Optimal Virtual and Physical Backup DocID: 1rhh6 - View Document
	Information Processing Letters–42 www.elsevier.com/locate/ipl HCPO: an efficient insertion order for incremental Delaunay triangulation Sheng Zhou ∗ , Christopher B. Jones DocID: 1rggE - View Document
	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the DocID: 1r4RM - View Document