Skip to Main content Skip to Navigation
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 <>
Submitted on : Monday, January 4, 2016 - 3:05:51 PM
Last modification on : Thursday, November 15, 2018 - 11:57:42 AM
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. ⟨tel-01250252v1⟩

Share

Metrics

Record views

85

Files downloads

56