Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine

First Page		Document Content
Date: 2012-08-10 19:21:42 Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming		Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 128,42 KB Share Document on Facebook

	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 DocID: 1r9D8 - View Document
	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
	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.) DocID: 1qS8f - View Document
	The XSB System Version 3.6.x Volume 1: Programmer’s Manual Terrance Swift DocID: 1moTr - View Document
	Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine DocID: 18X1R - View Document