Parcourir l'index des titres "A Type-Preserving Compiler from System F to Typed Assembly Language"
Voici les éléments 1-1 de 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 ...