Skip to Main content Skip to Navigation
Conference papers

Mesurer la hauteur d'un arbre

Jean-Christophe Filliâtre 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LRI - Laboratoire de Recherche en Informatique
Résumé : Dans cet article, nous nous intéressons au problème du calcul de la hauteur d'un arbre. Le problème a l'air plutôt simple,à priori, puisqu'il suffit de suivre la définition mathématique avec une simple fonction récursive de quelques lignes. Néanmoins, une telle fonction peut facilement faire déborder la pile d'appels. Après avoir laissé le lecteur réfléchir a une solution, nous en discutons plusieurs, notamment au regard de ce qu'offre le langage de programmation. Ce problème illustre la difficulté qu'il peut y avoir à se passer de récursivité.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-02315541
Contributor : Jean-Christophe Filliâtre <>
Submitted on : Wednesday, November 13, 2019 - 11:27:50 AM
Last modification on : Friday, July 2, 2021 - 11:20:43 AM

File

main-pp.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02315541, version 2

Citation

Jean-Christophe Filliâtre. Mesurer la hauteur d'un arbre. JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02315541v2⟩

Share

Metrics

Record views

282

Files downloads

797