ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 8/RSTI1 - 2003  - pp.97-110
TITRE
Un nouveau traceur générique pour GNU-Prolog

RÉSUMÉ
Cet article présente un traceur pour le solveur de contraintes sur domaines finis de GNU-Prolog. La programmation par contraintes ne dispose toujours pas d’outils et de techniques de débogage adaptés car les outils de mise au point sont difficiles à développer. Le traceur facilite ce développement. Il peut fournir à un outil une grande quantité d’informations sur le déroulement de l’exécution. Le traceur implante un modèle formel de trace générique pour la programmation par contraintes sur domaines finis. Ce modèle de trace est générique au sens où il n’est pas dédié à GNU-Prolog et qu’une large variété d’outils de débogage peuvent être basés sur cette trace. Les premières évaluations montre que ce traceur est utile et raisonnablement efficace.

ABSTRACT
This paper presents a tracer for the finite domain solver of GNU-Prolog. Constraint programming still lacks the suitable debugging tools and techniques because debugging tools are hard to develop. The tracer eases this development. It can feed a tool with a lot of data about the execution behavior. The tracer implements a formal generic trace model for constraint programming over finite domains. This trace model is generic in the sense that it is not dedicated to GNU-Prolog and that a large variety of debugging tools can be built on top of this trace. First assessments show that this tracer is useful and reasonably efficient.

AUTEUR(S)
Ludovic LANGEVINE, Pierre DERANSART

MOTS-CLÉS
Programmation par contraintes, domaines finis, trace d’exécution, modèle de trace, traceur, débogage, mise au point

KEYWORDS
Constraint programming, finite domains, execution trace, trace model, tracer, debugging, tuning

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (294 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier