tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Code HTML : Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Résumé :
Démonstration de Pierre Deransart, groupe langages et traducteurs.
Application de la méthode modulaire au problème de synthèse de programmes. Il s'agit de passer de la définition récursive du programme Reverse (qui a pour but d'inverser une liste) à une définition itérative, donc sans récursivité.
Chapitre 4 de sa thèse.
Nom de fichier :
Inria-046_Preuve_synthese_definitions_d_attributs-en.mp4
Nom de fichier :
Inria-046_Preuve_synthese_definitions_d_attributs-en.mp4
Référence VA :
046
Année :
Titre :
Proof and synthesis of attribute definitions. [Preuves et synthèse de définitions d'attributs]
Mots clés :
Auteur scientifique :
Inria-046_Preuve_synthes_BDWeb.MP4

Format : .mp4
82,5 Mo
360 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection