Technical skill sheet

Invariant Semantics Program Transformation, Program Instrumentation

  • Centre of research : MINES ParisTech, centre de recherche en informatique - CRI
  • Prestation : Characterization, tries, tests, checks, formulation - Advice, assessment, training - Research and Development

Contact Expert


Invariant Semantics Program Transformation, Program Instrumentation

IT : Static analyses and program transformations for the rapid development, optimisation, maintenance and re-engineering of codes

Keywords : invariant semantic program transformation, program instrumentation

Objective : reduction of computer use costs, whether development or operating costs, by developing maximally automated tools for analyses, instruments and program transformations. These tools are used for development to facilitate code re-use or to create software or test synthesis. They are also used to reduce software execution time without any appreciable increase in the costs of either development or maintenance.


IT Sectors : - Development of information systems - Collaborative tools management, with the development of advanced multi-user environments - Multimedia, Web applications, Internet