×

Found 7 Documents (Results 1–7)

Rewriting strategies and strategic rewrite programs. (English) Zbl 1321.68331

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 380-403 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

Transformation and debugging of functional logic programs. (English) Zbl 1285.68026

Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 271-299 (2010).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Expander2: program verification between interaction and automation. (English) Zbl 1279.68293

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, 35-57 (2007).
MSC:  68T15 03B70 68N30 68Q65 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software