Sarah
Mallet
INSA | IRISA |
Département informatique | Projet LANDE |
20, Av. des buttes de Coësmes | Campus de Beaulieu, |
F-35043 Rennes Cedex, France | F-35042 Rennes Cedex, France |
Tél : +33 (0) 2 99 28 66 77 | Tél : +33 (0) 2 99 84 75 87 |
Fax : +33 (0) 2 99 28 64 58 | Fax : +33 (0) 2 99 84 71 71 |
Email : smallet@irisa.fr
Je suis actuellement en thèse d'informatique à l' IRISA dans l'équipe LANDE sous la direction de Mireille Ducassé. Je travaille sur le débogage et la génération d'explications pour les bases de données déductives.
A Set-Oriented
Meta-Interpreter Driven by a ``Relational'' Trace for Deductive Databases
Debugging
(with M. Ducassé). Extended Abstracts of the 8th International Workshop
on Logic-based Program Synthesis and Transformation (LOPSTR ' 98), Pierre
Flener, Kung-Kiu Lau (editors), June 1998, University of Manchester. UMCS-98-6-1
Pilotage d'un méta-interprète ensembliste par une trace
relationnelle pour le débogage de bases de données
déductives (with M. Ducassé). In O. Ridoux (ed) Journées
Francophones de Programmation en Logique et par Contraintes Mai 1998. Editions
Hermès (ISBN 2-86601-691-2).
DDB Trees: A basis for deductive database explanations (with M. Ducassé). In M. Kamkar (ed), Third International Workshop on Automated and Algorithmic Debugging (AADEBUG'97). Linkoeping University Electronic Press.ISSN 1401-9841.Vol. 2(1997): nr 009
Algorithmic
and Automatic Debugging Home Page
DiSCiPl Home Page
Database
Systems & Logic Programming
Graph
Drawing Tools
Next Century Media