Mange, DanielNicoud, Jean-Daniel2005-03-162005-03-16197010.5075/epfl-thesis-108https://infoscience.epfl.ch/handle/20.500.14299/201516frAlgorithmes et systèmes logiques spécialisés pour la conversion de codethesis::doctoral thesis