Tracing and Explaining Execution of CLP(FD) Programs
Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu et al. · 2002
Abstract onlyNot checked
Software
Filters2 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
433 papersQuestions on this topic
The Weaves Reconfigurable Programming Framework
Srinidhi Varadarajan · 2002
Abstract onlyNot checked
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems
Joseph R. Kiniry · 2002
Abstract onlyNot checked
Introducing Dynamic Behavior in Amalgamated Knowledge Bases
Elisa Bertino, Barbara Catania, Paolo Perlasca · 2002
Abstract onlyNot checked
Using parametric set constraints for locating errors in CLP programs
W. Drabent, J. Maluszynski, P. Pietrzak · Theory and Practice of Logic Programming, Vol 2(4&5), 2002, pp 549-611. · 2002
Abstract onlyNot checked
Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration
Goran Falkman, Olof Torgersson · 2002
Abstract onlyNot checked
Logic program specialisation through partial deduction: Control issues
Michael Leuschel, Maurice Bruynooghe · 2002
Abstract onlyNot checked
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
Anindya Banerjee, David A. Naumann · 2002
Abstract onlyNot checked
Strategic polymorphism requires just two combinators!
Ralf Laemmel, Joost Visser · 2002
Abstract onlyNot checked
Semantic Component Composition
Joseph R. Kiniry · 2002
Abstract onlyNot checked
Making Abstract Domains Condensing
R. Giacobazzi, F. Ranzato, F. Scozzari · 2002
Abstract onlyNot checked
Logic programming in the context of multiparadigm programming: the Oz experience
Peter Van Roy, Per Brand, Denys Duchier et al. · 2002
Abstract onlyNot checked
Software Validation using Power Profiles
Raimondas Lencevicius, Edu Metz, Alexander Ran · 2002
Abstract onlyNot checked
Three-Tiered Specification of Micro-Architectures
Vasu Alagar, Ralf Laemmel · 2002
Abstract onlyNot checked
Value withdrawal explanations: a theoretical tool for programming environments
Willy Lesaint · 2002
Abstract onlyNot checked
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
Joseph R. Kiniry · 2002
Abstract onlyNot checked
An Architecture for Making Object-Oriented Systems Available from Prolog
Jan Wielemaker, Anjo Anjewierden · 2002
Abstract onlyNot checked
A Refinement Calculus for Logic Programs
Ian Hayes, Robert Colvin, David Hemer et al. · 2002
Abstract onlyNot checked
COINS: a constraint-based interactive solving system
Samir Ouis, Narendra Jussien, Patrice Boizumault · 2002
Abstract onlyNot checked
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
Francois Fages · 2002
Abstract onlyNot checked