Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > L > Laporte Vincent
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << 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

Vérification d’analyses statiques pour langages de bas niveau
  • Consulter la notice
  • Date de publication : 
    • 25-11-2015  | 
  • Auteur(s) : 
    • Laporte Vincent  | 
  • Editeur(s) : 
    • Université de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • L'analyse statique des programmes permet d'étudier les comportements possibles des programmes sans les exécuter. Les analyseurs statiques sont employés par exemple pour garantir que l'exécution d'un programme ne peut pas produire d'erreurs. Ces outils d'analyse étant eux-mêmes des programmes, ils peuvent être incorrects. Pour accroître la confiance que l'on peut accorder aux résultats d'une telle ...


  • Référencé le  : 
    • 09-03-2016
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI