Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Methodes formelles pour l'analyse statique et la compilation technique et science informatiques rsti

Couverture du livre « Methodes formelles pour l'analyse statique et la compilation technique et science informatiques rsti » de Blazy aux éditions Hermes Science Publications
Résumé:

Analyse statique par interprétation abstraite, X. Rival - pp.371-380Programmation d'un interpréteur abstrait certifié en logique constructive, D. Cachera, D. Pichardie - pp.381-408Expérimentations en Coq pour un générateur de code qualifiable, N. Izerrouken, M. Pantel, X. Thirioux, O. Ssi Yan... Voir plus

Analyse statique par interprétation abstraite, X. Rival - pp.371-380Programmation d'un interpréteur abstrait certifié en logique constructive, D. Cachera, D. Pichardie - pp.381-408Expérimentations en Coq pour un générateur de code qualifiable, N. Izerrouken, M. Pantel, X. Thirioux, O. Ssi Yan Kai - pp.409-440Compilation modulaire d'un langage synchrone. Spécification, simulation, implémentation et vérification d'applications synchrones, D. Gaffé, A. Ressouche - pp.441-471

Donner votre avis

Donnez votre avis sur ce livre

Pour donner votre avis vous devez vous identifier, ou vous inscrire si vous n'avez pas encore de compte.