![Software engineering / Computer programming / Computing / XSB / Prolog / Logic programming / Partial evaluation / Mathematical logic / Logic / Deductive database / Abstract interpretation / ECL programming language Software engineering / Computer programming / Computing / XSB / Prolog / Logic programming / Partial evaluation / Mathematical logic / Logic / Deductive database / Abstract interpretation / ECL programming language](https://www.pdfsearch.io/img/26db99a33eb76939177bc1f317f620c7.jpg) Date: 2010-10-22 08:06:04Software 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 cAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 134,68 KBShare Document on Facebook
|