Exploitation prédicative des grammaires affixes : interprète et machine virtuelle StarLet

par Hassan Harti

Thèse de doctorat en Informatique et Automatique Appliquées

Sous la direction de Louis Frécon.

Soutenue en 1989

à Lyon, INSA , en partenariat avec LIA - Laboratoire d'Informatique Appliquée (Lyon) (laboratoire) .


  • Résumé

    La formalisation des langages de Programmation est la base de leur traduction. Un des modèles grammaticaux utilisés les plus puissants est celui des Grammaires Affixes (C. H. A. Kaster, 1972). Ces grammaires ont mené à divers Langages d'Ecriture de Traducteurs (COL, C. H. A. Kaster, 1975; LET, J. Beney, 1978; StarLET, J. Beney, 1987). En vue de doter StarLET d'un Atelier Logiciel avec facilités de maquettage et de mise au point, on présente un interprète de ce langage. A cette occasion, StarLET est mis en contraste avec Prolog et Turbo-Prolog. Pour passer d'une compréhension statique et locale à une compréhension dynamique et globale de l'exécution, on a ensuite réalisé avec cet interprète une campagne de mesures sur le comportement de divers programmes. On s'inspire des résultats obtenus pour cadrer au mieux la définition d'une Machine Virtuelle StarLET, qui permettrait de rendre portable l'ensemble de l'Atelier Logiciel.

  • Titre traduit

    = Interpreter and virtual machine for starlet, an affise grammar predicative concretization


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (168 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 162-168

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Disponible pour le PEB
  • Cote : C.83(1134)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.