Automated Analysis of CLP(FD) Program Execution Traces

Authors:
Mireille Ducassé;Ludovic Langevine
Affiliations:
-;-
Venue:
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Year:
2002

Citing 1
Cited 1

Visualisations compactes: une approche déclarative pour la visualisation d'information

IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)

Justification and debugging of answer set programs in ASP

Proceedings of the sixth international symposium on Automated analysis-driven debugging

Quantified Score

Hi-index	0.00

Visualization

Abstract