Travelled to:1 × Cyprus
1 × Hungary
1 × India
1 × Italy
1 × Japan
1 × Sweden
2 × China
2 × France
2 × Germany
4 × USA
4 × United Kingdom
Collaborated with:S.Ferré M.Ducassé ∅ P.Brisset B.Sigonneau P.Louvet Y.Bekkers L.Ungaro E.Jahier P.Boizumault F.Malésieux P.Cellier B.Canet Y.Padioleau T.Denmat D.L.Métayer V.Nicolas S.L.Huitouze
Talks about:prolog (11) logic (8) system (5) program (3) continu (3) analysi (3) memori (3) inform (3) applic (3) trace (3)
Person: Olivier Ridoux
DBLP: Ridoux:Olivier
Contributed to:
20112009
2006
2006
2005
2003
2001
200020002000
1999199919981996
19961993
1992199119861984Wrote 21 papers:
- SEKE-2011-CellierDFR #data mining #fault #locality #mining #multi
- Multiple Fault Localization with Data Mining (PC, MD, SF, OR), pp. 238–243.
- SEKE-2009-CellierDFR #data mining #fault #locality #mining #named #process
- DeLLIS: A Data Mining Process for Fault Localization (PC, MD, SF, OR), pp. 432–437.
- ICSE-2006-PadioleauSR #file system #information management #logic #named
- LISFS: a logical information system as a file system (YP, BS, OR), pp. 803–806.
- MSR-2006-SigonneauR #automation #component #file system #logic #multi #re-engineering
- Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.
- ASE-2005-DenmatDR #data mining #execution #mining
- Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.
- ICLP-2003-Ridoux #information management #logic programming
- Logic Information Systems for Logic Programmers (OR), pp. 3–19.
- LOPSTR-2001-FerreR #framework #logic
- A Framework for Developing Embeddable Customized Logics (SF, OR), pp. 191–215.
- CL-2000-FerreR #concept analysis #file system
- A File System Based on Concept Analysis (SF, OR), pp. 1033–1047.
- LOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).
- LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.
- FLOPS-1999-RidouxBM #prolog #static analysis
- Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
- LOPSTR-1999-MetayerNR #recursion #testing #verification
- Verification by Testing for Recursive Program Schemes (DLM, VAN, OR), pp. 255–272.
- JICSLP-1998-MalesiuexRB #compilation #prolog
- Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
- JICSLP-1996-Ridoux #attribute grammar #prolog
- Engineering Transformations of Attributed Grammars in λProlog (OR), pp. 244–258.
- PLILP-1996-LouvetR #morphism #parametricity #polymorphism #prolog
- Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.
- ICLP-1993-BrissetR #continuation #prolog
- Continuations in λ-Prolog (PB, OR), pp. 27–43.
- ICLP-1993-HuitouzeLR #logic #prolog
- Logic Grammars and λ-Prolog (SLH, PL, OR), pp. 64–79.
- IWMM-1992-BekkersRU #logic programming #memory management #programming language
- Dynamic Memory Management for Sequential Logic Programming Languages (YB, OR, LU), pp. 82–102.
- ICLP-1991-BrissetR #linear
- Naïve Reverse Can be Linear (PB, OR), pp. 857–870.
- SLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #programming language #realtime
- MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.
- ILPC-1984-BekkersCRU84 #interpreter #memory management #prolog
- A Memory Management Machine for Prolog Interpreter (YB, BC, OR, LU), pp. 343–353.