Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Thèse Année : 2015

Reachability Analysis for Functional Programs with call-by-value evaluation strategy

Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur

Yann Salmon

Résumé

This document present an extension of tree automata completion to innermost rewriting.
Nous proposons une adaptation de la complétion d’automate d’arbres à la stratégie d’évaluation en profondeur. Cette adaptation permet une meilleure précision dans l’analyse des programmes qui s’exécutent avec cette stratégie, phénomène constaté expérimentalement et établi formellement. Nous présentons également une contribution pratique qui consiste en une implémentation de notre méthode dans l’outil Timbuk]. Nous montrons enfin comment cette adaptation de la complétion d’automate à la stratégie en profondeur s’inscrit dans un réseau de travaux qui peut déboucher sur un analyseur de programmes fonctionnels par réécriture et automates d’arbres.
Fichier principal
Vignette du fichier
Final.pdf (892.37 Ko) Télécharger le fichier

Dates et versions

tel-01250252 , version 1 (04-01-2016)
tel-01250252 , version 2 (21-03-2016)

Identifiants

  • HAL Id : tel-01250252 , version 1

Citer

Yann Salmon. Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur. Génie logiciel [cs.SE]. Université de Rennes 1, 2015. Français. ⟨NNT : ⟩. ⟨tel-01250252v1⟩
521 Consultations
349 Téléchargements

Partager

Gmail Facebook X LinkedIn More