×

Found 9 Documents (Results 1–9)

Type-based homeomorphic embedding and its applications to online partial evaluation. (English) Zbl 1179.68031

King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 23-42 (2008).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A study on the practicality of poly-controlled partial evaluation. (English) Zbl 1279.68043

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 137-151 (2007).
MSC:  68N17 68T20
PDFBibTeX XMLCite
Full Text: DOI

Some issues in analysis and specialization of modular Ciao-Prolog programs. (English) Zbl 0958.68031

Leuschel, Michael (ed.), WOID ’99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,2, 25 p., electronic only (1999).
MSC:  68N17
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software