Le systeme sam : metacompilation tres efficace a l'aide d'operateurs semantiques

par Pierre Weis

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Cousineau.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Description d'une technique de metacompilation basee sur un langage de description de la semantique des langages de programmation de tres haut niveau: une algebre semantique d'operateurs. Cette algebre est definie pour un ensemble de domaines et de lambda-expressions qui definissent ses operateurs. Une machine abstraite est ensuite definie pour executer les operateurs de l'algebre. Finalement le code de la machine abstraite est traduit en assembleur natif de la machine hote. Des exemples en vraie grandeur de langages metacompiles dans le systeme developpe sont proposes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 300 P.
  • Annexes : 90 REF

Où se trouve cette thèse ?

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