Skip to Main content Skip to Navigation
Theses

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

Abstract : This document presents an extension of tree automata completion to innermost rewriting.
Complete list of metadatas

Cited literature [44 references]  Display  Hide  Download

https://hal.inria.fr/tel-01250252
Contributor : Thomas Genet <>
Submitted on : Monday, March 21, 2016 - 9:43:17 AM
Last modification on : Friday, January 18, 2019 - 1:21:37 AM
Long-term archiving on: : Wednesday, June 22, 2016 - 10:47:42 AM

Licence


Copyright

Identifiers

  • HAL Id : tel-01250252, version 2

Collections

Citation

Yann Salmon. Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur. Théorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩. ⟨tel-01250252v2⟩

Share

Metrics

Record views

588

Files downloads

349