Výsledky vyhledávání - "Constraint Functional Logic Programming"

TOY: A System for Experimenting with Cooperation of Constraint Domains

Autoři: Sonia Estévez-Martín A.J. Fernández Leiva Fernando Sáenz-Pérez

Zdroj: Electronic Notes in Theoretical Computer Science. 258:79-91

Témata: Tools, Multiparadigm Programming, Constraint Functional Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Domain Cooperation, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://core.ac.uk/display/82389357
https://www.sciencedirect.com/science/article/pii/S1571066109004885
https://www.sciencedirect.com/science/article/abs/pii/S1571066109004885
https://dblp.uni-trier.de/db/journals/entcs/entcs258.html#MartinLS09
https://dialnet.unirioja.es/servlet/articulo?codigo=5964485

Constraint Programming relies on constraint solving as a powerful mechanism f.

Autoři: S. Estévez-martín T. Hortalá-gonzález M. Rodríguez-artalejo a další

Přispěvatelé: S. Estévez-martín T. Hortalá-gonzález M. Rodríguez-artalejo a další

Zdroj: http://arxiv.org/pdf/0904.2136v1.pdf.

Témata: Cooperating Constraint Domains, Constraint Functional Logic Programming, Constrained Lazy Narrowing, Implementation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.9275; http://arxiv.org/pdf/0904.2136v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.9275
http://arxiv.org/pdf/0904.2136v1.pdf

Extending the TOY System with the ECLiPSe Solver over Sets of Integers

Autoři: Estévez Martín, Sonia Correas Fernández, Jesús Sáenz Pérez, Fernando

Témata: Constraint Functional Logic Programming, Constrained Lazy Narrowing, Implementation, Domain Cooperation, Informática (Informática), 1203 Ciencia de Los Ordenadores

Popis souboru: application/pdf

Relation: TIN2008- 06622-C03-01; TIN-2008-05624; S2009TIC-1465; UCM-BSCH-GR35/10-A-910502; S. Estévez-Mart ́ın, J. C. Fernández, and F. Sáenz-Pérez. Extending the TOY system with the eclipse solver over sets of integers. In T. Schrijvers and P. Thiemann, editors, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Pro- ceedings, volume 7294 of Lecture Notes in Computer Science, pages 120–135. Springer, 2012.; https://hdl.handle.net/20.500.14352/96457

Dostupnost: https://hdl.handle.net/20.500.14352/96457

Constraint functional logic programming for origami construction

Autoři: Ida, Tetsuo Marin, Mircea

Témata: Computer graphics, computational geometry (digital and algorithmic aspects), Constraint Functional Logic Programming, Logic programming, Origami

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2217819