Some publications by Mireille Ducassť

Back

Articles in journal or book chapters
  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 ]


Conference articles
  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 21st 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 ]


Internal reports
  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 BibTEX by bibtex2html