ViMer: A Visual Debugger for Mercury

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn 5, Issue , 2003, Pages 56-66

  Cameron, M ^a   Garcia de la Banda M ^a   Marriott, K ^a   Moulder, P ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Execution trees; Incremental tree layout; Visualization

Indexed keywords

CONSTRAINT THEORY; LOGIC GATES; LOGIC PROGRAMMING; PROBABILITY DISTRIBUTIONS; PROGRAM PROCESSORS; SYSTEMS ANALYSIS; TREES (MATHEMATICS); VISUALIZATION;

EXECUTION TREES; INCREMENTAL TREE LAYOUT;

PROGRAM DEBUGGING;

EID: 1242265155     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Bouvier, P. Visual tools to debug prolog IV programs. In Analysis and Visualization Tools for Constraint Programming: Constraint Debugging, pp. 177-190, 2000.
2. Bratko, I. Prolog: Programming for Artificial Intelligence, Addison-Wesley, Singapore, pp. 302-329, 1993.
3. Deransart, P., Hermenegildo M., and Maluszynski, J. Analysis and Visualization Tools for Constraint Programming: Constraint Debugging. Lecture Notes in Computer Science, 1870, Springer Verlag, 2000.
4. Di Batista, G., Eades, P., Tamassia R., and Tollis, I.G. Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, 1999.
5. Ducassé, M. Opium; An extendable trace analyser for Prolog Journal of Logic Programming 59(4), pp. 177-223, December, 1999.
6. Carro, M. and Hermenegildo, M. The APT tool. In Analysis and Visualization Tools for Constraint Programming: Constraint Debugging, pp. 237-252, 2000.
7. Eisenstadt, M. and Brayshaw, M. The Transparent Prolog Machine (TPM): an execution model and graphical debugger for logic programming. Journal of Logic Programming 5(4), pp. 277-342, December, 1988.
8. Jahier, E. Collecting Graphical views of a Mercury program. In 2000 International Workshop on Automated Debugging. http://xxx.lanl.gov/abs/cs.SE/0010038
9. Jahier, E. and Ducassé Morphine 0.2 User and Reference Manuals. IRISA, Rennes, 1999
10. LLoyd, J.W. Foundations of Logic Programming, Springer-Verlag, New York, 1987.
11. Marriott, K., Chok, S.S. and Finlay, A. A tableau based constraint solving toolkit for interactive graphical applications. In Principles and Practice of Constraint Programming - CP '98, pp. 340-354, 1998.
12. Meier, M. Debugging constraint programs. In Principles and Practice of Constraint Programming -CP '95, pp. 204-221, 1994.
13. Ousterhout, J. Tcl and the Tk Toolkit, Massachusetts: Addison-Wesley, 1994.
14. Pain, H. and Bundy, A. What stories should we tell novice Prolog programmers. In Artificial Intelligence Programming Environments, Wiley, New York, 1987.
15. Vaupel, R., Pontelli E. and Gupta G. Visualization of And/Or-Parallel Execution of Logic Programs. In L. Naish (Ed.), Proceedings of the 14th International Conference on Logic Programming, Cambridge, pp. 271-285. MIT Press, July 8-11, 1997.
16. Schulte, C. Oz Explorer: A visual constraint programming tool. In L. Naish (Ed.), Proceedings of the 14th International Conference on Logic Programming, Cambridge, pp. 286-300. MIT Press, July 8-11, 1997.
17. Simonis, H. and Aggoun, A. Search-Tree Visualisation. In Analysis and Visualization Tools for Constraint Programming: Constraint Debugging, pp. 191-208, 2000.
18. Somogyi, Z., Henderson, F. and T. Conway. The execution algorithm of mercury, an efficient purely declarative logic programming language. In Journal of Logic Programming 29(1-3), pp. 17-64, 1996.