Algorithmes et systèmes logiques spécialisés pour la conversion de code