First Page | Document Content | |
---|---|---|
![]() Date: 2012-08-10 19:21:42Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming | Add to Reading List |
![]() | Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2DocID: 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 cDocID: 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 SwiftDocID: 1moTr - View Document |
![]() | Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew LumsdaineDocID: 18X1R - View Document |