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-047_Preuve_synthese_definitions_d_attributs-fr.mp4
Nom de fichier :
Inria-047_Preuve_synthese_definitions_d_attributs-fr.mp4
Référence VA :
046
Année :
Titre :
Preuves et synthèse de définitions d'attributs.
Mots clés :
Auteur scientifique :
Inria-047_Preuve_synthes_BDWeb.MP4

Format : .mp4
82,5 Mo
360 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
Inria-047_Preuve_synthese_definitions_d_attributs-fr.mp4

Format : .mp4
634,5 Mo
768 x 576 pixels
Fichier H264. Meilleure résolution disponible
Sélection
Voir Selection
Déposer ici pour retirer de la sélection