Treffer: Prototypage de traceurs CLP(FD): Un modèle de trace et son expérimentation / CLP(FD) tracers prototyping : trace model and his experimentation

Title:
Prototypage de traceurs CLP(FD): Un modèle de trace et son expérimentation / CLP(FD) tracers prototyping : trace model and his experimentation
Authors:
LANGEVINE, Ludovic, DERANSART, Pierre, DUCASSE, Mireille, JAHIER, Erwan
Source:
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :135-149
Publisher Information:
Paris: Hermès Sciences Publications, 2002.
Publication Year:
2002
Physical Description:
print, 17 ref
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Analyse trace, Trace analysis, Análisis huella, Débogage, Debugging, Puesta a punto programa, Expérimentation, Experimentation, Experimentación, Exécution programme, Program execution, Ejecución programa, Mise au point, Perfecting, Puesta a punto, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Prototype, Prototipo, Satisfaction contrainte, Constraint satisfaction, Satisfaccion restricción, Sémantique opérationnelle, Operational semantics, Semantica operacional, Traceur, Tracers, Trazador, Modèle trace, Trace exécution
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
French
Author Affiliations:
INRIA Rocquencourt - BP 105, 78 153 Le Chesnay, France
IRISA/INSA - Campus universitaire de Beaulieu, 35 042 Rennes, France
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=14195175
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14195175
Database:
PASCAL Archive

Weitere Informationen

Les outils d'observation des exécutions sont utiles pour développer et maintenir des programmes logiques avec contraintes. Les outils actuels, conçus de manière ad hoc, sont difficilement portables d'une plate-forme à l'autre. L'analyse d'une trace d'exécution peut donner d'intéressantes vues de l'exécution. Dans cet article, nous proposons un modèle de trace pour la résolution de contraintes par réduction de domaine. Ce modèle de trace, le premier proposé pour clp(fd), ne prétend pas être le modèle ultime. Afin de l'expérimenter, nous proposons un prototype de traceur sous la forme d'un méta-interprète. De plus, nous montrons que le modèle proposé contient les informations nécessaires à la production de vues utiles et bien connues. Ce travail pose les bases de l'analyse générique d'exécutions pour clp(fd).