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 > S > Salmon Yann
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

Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur
  • Consulter la notice
  • Date de publication : 
    • 07-12-2015  | 
  • Auteur(s) : 
    • Salmon Yann  | 
  • Editeur(s) : 
    • Université de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à cause du théorème de Rice). La complétion d'automate est un tel outil, qui surapproxime l'ensemble des termes accessibles lors de l'exécution d'un programme représenté par un système de réécriture. La stratégie d'évaluation donne l'ordre dans lequ...


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