Integration of Declarative and Constraint Programming

Simple item page
dc.creatorHofstedt, Petra
dc.creatorPepper, Peter
dc.date2005-11-27
dc.date2006-01-14
dc.date.accessioned2026-07-07T06:49:38Z
dc.date.available2026-07-07T06:49:38Z
dc.descriptionCombining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.
dc.description30 pages, 9 figures, To appear in Theory and Practice of Logic Programming (TPLP)
dc.identifierhttps://arxiv.org/abs/cs/0511090
dc.identifierhttp://arxiv.org/abs/cs/0511090
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/104423
dc.subjectProgramming Languages
dc.subjectArtificial Intelligence
dc.subjectD.3.2
dc.titleIntegration of Declarative and Constraint Programming
dc.typetext

Files

Collections

arXiv