Machines a environnement pour la reduction symbolique et l'evaluation partielle

par Pierre Cregut

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Cousineau.

Soutenue en 1991

à Paris 7 .

    mots clés mots clés


  • Résumé

    Cette these presente differents avatars de la machine abstraite de krivine qui permet la reduction de -termes en forme normale de tete faible en utilisant la strategie de l'appel par necessite. Certaines modifications ont pour but de la rendre plus efficace dans le cadre de l'implementation d'un langage fonctionnel; elles reposent sur les similitudes existant avec le reducteur de graphe tim: 1) adaptation du mecanisme de marque pour l'evaluation paresseuse; 2) utilisation d'une representation mixte de listes et de tableaux pour les environnements. D'autres permettent de faire de l'evaluation symbolique: 1) l'analyse de la notation de de bruijn aboutit a la realisation d'un premier reducteur simple; 2) une seconde version adapte les methodes de partage presentees dans la premiere partie au reducteur symbolique; 3) un evaluateur partiel melangeant les machines precedentes et ou le controle est assure explicitement par des annotations de l'utilisateur est enfin decrit. La correction des reducteurs symboliques a ete prouvee a l'aide du -calcul. Enfin des comparaisons avec d'autres travaux et quelques resultats experimentaux concluent l'expose


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 60 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-CRE
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.