Dominique Colnet

Statistics

Publications

Citations

169

H-Index

Active since

1994

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Centre de Recherche en Informatique

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Dominique Colnet is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in computer science, software analysis, and formal methods.

Top concepts

Computer ScienceCompilersEngineeringFormal MethodsProgram AnalysisSoftware AnalysisHardware SecurityParallel ComputingComputer EngineeringParallel Programming

Publications per year

1994–2003

Publications

Efficient dynamic dispatch without virtual function tables

Olivier Zendra, Dominique Colnet, Suzanne Collin · 1997 · 71 citations · Full text

Mathematical Programming, Engineering, Compiler Technology +20

SYNTACTIC ANALYSIS OF TECHNICAL DRAWING DIMENSIONS

Suzanne Collin, Dominique Colnet · International Journal of Pattern Recognition and Artificial Intelligence · 1994 · 27 citations

Visual Programming Language, Geometry, Visualization (Graphics) +20

Efficient dynamic dispatch without virtual function tables

Olivier Zendra, Dominique Colnet, Suzanne Collin · ACM SIGPLAN Notices · 1997 · 26 citations

Mathematical Programming, Engineering, Compiler Technology +20

Compiler support to customize the mark and sweep algorithm

Dominique Colnet, Philippe Coucaud, Olivier Zendra · 1998 · 25 citations · Full text

Mathematical Programming, Engineering, Compiler Technology +21

Type-safe covariance: Competent compilers can catch all catcalls

Mark Howard, Éric Bezault, Bertrand Meyer et al. · 2003 · 10 citations

Engineering, Type Theory, Verification +17

1–5 of 6