| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Static analysis of numerical properties in the presence of pointers
Date de publication :
22-07-2013 |
Auteur(s) :
Fu Zhoulai |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne, Université Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Si la production de logiciel fiable est depuis longtemps la préoccupation d'ingénieurs, elle devient à ce jour une branche de sujets de recherche riche en applications, dont l'analyse statique. Ce travail a porté sur l'analyse statique de programmes et, plus précisément, sur l'analyse des propriétés numériques. Ces analyses sont traditionnellement basées sur le concept de domaine abstrait. Le prob...
Référencé le :
23-11-2013
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
