×

zbMATH — the first resource for mathematics

Ducassé, Mireille

Compute Distance To:
Author ID: ducasse.mireille Recent zbMATH articles by "Ducassé, Mireille"
Published as: Ducassé, Mireille; Ducasse, M.
Documents Indexed: 20 Publications since 1998, including 2 Books

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 14 times in 10 Documents Cited by Year
Opium: An extendable trace analyzer for prolog. Zbl 0938.68023
Ducassé, Mireille
3
1999
A parameterized algorithm to explore formal contexts with a taxonomy. Zbl 1156.68521
Cellier, Peggy; Ferré, Sébastien; Ridoux, Olivier; Ducassé, Mireille
3
2008
Tracing prolog programs by source instrumentation is efficient enough. Zbl 0951.68014
Ducassé, Mireille; Noyé, Jacques
2
2000
An abstract interpretation based combinator for modelling while loops in constraint programming. Zbl 1145.68510
Denmat, Tristan; Gotlieb, Arnaud; Ducassé, Mireille
2
2007
A tracer of program execution can be only used for debugging. (Un traceur d’exécution de programme ne sert pas qu’au débogage.) Zbl 0939.68016
Jahier, Erwan; Ducassé, Mireille
2
1999
Specifying Prolog trace models with a continuation semantics. Zbl 1018.68503
Jahier, Erwan; Ducassé, Mireille; Ridoux, Olivier
1
2001
A propagation tracer for GNU-Prolog: from formal definition to efficient implementation. Zbl 1204.68055
Langevine, Ludovic; Ducassé, Mireille; Deransart, Pierre
1
2003
A parameterized algorithm to explore formal contexts with a taxonomy. Zbl 1156.68521
Cellier, Peggy; Ferré, Sébastien; Ridoux, Olivier; Ducassé, Mireille
3
2008
An abstract interpretation based combinator for modelling while loops in constraint programming. Zbl 1145.68510
Denmat, Tristan; Gotlieb, Arnaud; Ducassé, Mireille
2
2007
A propagation tracer for GNU-Prolog: from formal definition to efficient implementation. Zbl 1204.68055
Langevine, Ludovic; Ducassé, Mireille; Deransart, Pierre
1
2003
Specifying Prolog trace models with a continuation semantics. Zbl 1018.68503
Jahier, Erwan; Ducassé, Mireille; Ridoux, Olivier
1
2001
Tracing prolog programs by source instrumentation is efficient enough. Zbl 0951.68014
Ducassé, Mireille; Noyé, Jacques
2
2000
Opium: An extendable trace analyzer for prolog. Zbl 0938.68023
Ducassé, Mireille
3
1999
A tracer of program execution can be only used for debugging. (Un traceur d’exécution de programme ne sert pas qu’au débogage.) Zbl 0939.68016
Jahier, Erwan; Ducassé, Mireille
2
1999

Citations by Year