Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Subject "Langage assembleur typé"
Now showing items 1-1 of 1
-
A Type-Preserving Compiler from System F to Typed Assembly Language
(2010-01-07)L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de ...