The DiSCiPl Project: Debugging Systems for Constraint Programming. Constraint Programming is an Emerging Software Technology, where Europe currently enjoys a lead. Although Constraint Programming is relatively young compared to other languages, technologies and paradigms, it is already producing convincing results. To allow industry to benefit from this emerging technology, to take up results and to build applications capable of capturing and handling real world constraints, Constraint Programming needs a boost in the form of effective debugging techniques and environments adapted to its own paradigms. DiSCiPl is a research project funded by the European Commission’s Esprit programme that aims at define, implement and assess novel and effective debugging systems for Constraint Programming (CP).
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria: Visual search tree profiling (2016)
- Lazaar, Nadjib; Gotlieb, Arnaud; Lebbah, Yahia: A CP framework for testing CP (2012) ioport
- Slaney, John: Visualising reasoning: what ATP can learn from CP (2012)
- Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs (2010)
- Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent: Model-driven visualizations of constraint-based local search (2009)
- Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar: Justifications for logic programs under answer set semantics (2009)
- Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry: Global constraint catalogue: past, present and future (2007)
- Tsang, Edward; Ford, John; Mills, Patrick; Bradwell, Richard; Williams, Richard; Scott, Paul: Towards a practical engineering tool for rostering (2007)