ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

MÉTHODES FORMELLES POUR L’ANALYSE STATIQUE ET LA COMPILATION
sous la direction SANDRINE BLAZY

 LISTE DES ARTICLES POUR LE VOL 30/4 - 2011
Sommaire  [GRATUIT]
- pp.367-368
INTRODUCTION  [GRATUIT]
Sandrine BLAZY - pp.369-370
Analyse statique par interprétation abstraite
Xavier RIVAL - pp.371-380
Programmation d´un interpréteur abstrait certifié en logique constructive
David CACHERA, David PICHARDIE - pp.381-408
Expérimentations en Coq pour un générateur de code qualifiable
Nassima IZERROUKEN, Marc PANTEL, Xavier THIRIOUX, Olivier SSI YAN KAI - pp.409-440
Compilation modulaire d´un langage synchrone Spécification, simulation, implémentation et vérification d´applications synchrones
Daniel GAFFÉ, Annie RESSOUCHE - pp.441-471
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier