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

par Pierre Cregut

Doctoral thesis in Sciences appliquées

Under the supervision of Guy Cousineau.

defended on 1991

in Paris 7 .

  • Alternative Title

    Environment machines for symbolic reduction and partial evaluation


  • Abstract not available

    keywords keywords


  • Abstract

    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

Consult library

Version is available as a paper

Informations

  • Annexes : 60 REF

Where is this thesis?

  • Library : Moyens Informatiques et Multimédia. Information.
  • Available for PEB
  • Odds : F-CRE
  • Library : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1991
See the Sudoc catalog libraries of higher education and research.