Skip to Main content Skip to Navigation
New interface
Theses

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

Yann Salmon 1 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This document present an extension of tree automata completion to innermost rewriting.
Document type :
Theses
Complete list of metadata

https://hal.inria.fr/tel-01250252
Contributor : Thomas Genet Connect in order to contact the contributor
Submitted on : Monday, January 4, 2016 - 3:05:51 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:53 PM
Long-term archiving on: : Friday, April 15, 2016 - 4:01:51 PM

Identifiers

  • HAL Id : tel-01250252, version 1

Citation

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⟩

Share

Metrics

Record views

459

Files downloads

338