Charles Consel

Publications

3.7K

Citations

H-Index

1989

Active since

Affiliations

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

Institut de Recherche en Informatique et Systèmes Aléatoires

Université de Rennes

Laboratoire Bordelais de Recherche en Informatique

Université de Bordeaux

Charles Consel is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceSystem SoftwareSoftware AnalysisSoftware EngineeringProgram AnalysisComputer EngineeringSoftware DesignFormal MethodsSystems Engineering

Publications per year

1989–2017

Publications

Tutorial notes on partial evaluation

Charles Consel, Olivier Danvy · 1993 · 321 citations · Full text

Engineering, Education, Evaluation Criteria +20

A general approach for run-time specialization and its application to C

Charles Consel, François Noël · 1996 · 261 citations · Full text

Engineering, Compiler Technology, Computer Architecture +20

Proceedings of the European Conference on Object-oriented Programming (ECOOP'99)

Ulrik Pagh Schultz, Julia Lawall, Charles Consel et al. · Springer US · 1999 · 204 citations

Engineering, Object-oriented Modeling, Formal Methods +7

Optimistic incremental specialization

Calton Pu, Tito Autrey, Andrew P. Black et al. · 1995 · 193 citations · Full text

Mathematical Programming, Incremental Learning, Engineering +19

Devil : an IDL for hardware programming

Fabrice Mérillon, Laurent Réveillère, Charles Consel et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 2000 · 127 citations · Full text

Rows per page

1–5 of 73