@phdthesis{tristan:tel-00437582, TITLE = {{Formal verification of translation validators}}, AUTHOR = {Tristan, Jean-Baptiste}, URL = {https://theses.hal.science/tel-00437582}, SCHOOL = {{Universit{\'e} Paris-Diderot - Paris VII}}, YEAR = {2009}, MONTH = Nov, KEYWORDS = {compilation Validation de traduction verification formelle Ordonnancement d'instructions optimisation Elimination des redondances Assistant de preuve coq}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00437582/file/dissertation_english.pdf}, HAL_ID = {tel-00437582}, HAL_VERSION = {v1}, }