×

Found 3 Documents (Results 1–3)

Declarative compilation for constraint logic programming. (English) Zbl 1353.68036

Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). Lecture Notes in Computer Science 8981, 299-316 (2015).
MSC:  68N17 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software