Mesurer la hauteur d'un arbre - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2020

Mesurer la hauteur d'un arbre

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é.
Fichier principal
Vignette du fichier
main-pp.pdf (239.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02315541 , version 1 (14-10-2019)
hal-02315541 , version 2 (13-11-2019)

Identifiants

  • HAL Id : hal-02315541 , version 2

Citer

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

Partager

More