1. Mireille Ducassé. OPIUM: An Extendable Trace Analyser for Prolog. Journal of Logic Programming, special issue on synthesis, transformation and analysis of logic programs, 39(1--3):177--223, April 1999. [WWW ]

1. Mireille Ducassé. Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. In David Garlan and Jeff Kramer, editors, Proceedings of the 21^st International Conference on Software Engineering, pages 504--513, May 1999. ACM Press. [WWW ]



2. Erwan Jahier and Mireille Ducassé. A Generic Approach to Monitor Program Executions. In Danny De Schreye, editor, Proceedings of the International Conference on Logic Programming, pages 139--153, November 1999. MIT Press. [WWW ]

1. Ludovic Langevine, Pierre Deransart, Mireille Ducassé, and Erwan Jahier. Tracing Execution of CLP(FD) Programs: A Trace Model and an Experimental Validation Environment. Technical report RR-4342, INRIA, December 2001. [WWW ]



2. Mireille Ducassé. Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. Technical report 3489, INRIA, September 1998.



3. Mireille Ducassé. OPIUM: An Extendable Trace Analyser for Prolog. Technical report 3257, INRIA, September 1997.

This document was translated from BibT_EX by bibtex2html