Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital hard c - Mathematical software - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language		Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 134,68 KB Share Document on Facebook

	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c DocID: 1qUeK - View Document
	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots DocID: 1qtLT - View Document
	A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO DocID: 1k4di - View Document
	Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand DocID: 1gBGm - View Document