Vers une programmation grammaticale a large spectre : Application a la construction de programmes avec le méta-compilateur STARLET-GEL

par Jean-François Boulicaut

Thèse de doctorat en Ingénierie informatique

Sous la direction de Louis Frécon.


  • Résumé

    Dans le domaine d'application des transformations de flots de caractères, les approches connues privilégient soit les étapes de spécification et de prototypage (e, q, la programmation logique avec des grammaires) soit le codage de traducteurs efficaces à l'aide de métacomilateurs. Nous présentons le cadre méthodologique d'une programmation Grammaticale à Large Spectre qui encourage la construction de spécifications grammaticales tout en assistant la transition vers des logiciels fiables et efficaces. Cette thèse est un développent des propositions de J. Maluszynski sur le programmation à l'aide de grammaires à deux ni veaux. Le formalisme retenu est un type de grammaires Affixes Étendues au sens de D. A Watt i. E. Une classe de grammaire à deux niveaux. La sémantique grammaticale d'une spécification est appelée relation caractéristique et tout programme est un dispositif de calcul d 'un sous-ensemble d'une telle relation. Nous étudions d ' abord la faisabilité d'un outil d'aide à la spécification. Nous expliquons ensuite comment utiliser la spécification pour produire des traducteurs prototypes à l'aide du métacompilateur STABLET/GL. Dans ce cas, nous pouvons exploiter de nombreux. Contrôles statiques car nous ne voulons calculer que des traductions nous réutilisons des programmes prototypes fiables lorsqu'il s'agit de maîtriser les performances. Les programmes restent des grammaires affixes bien formées mais il faut choisir des structures de données et des algorithmes plus concrets pour traiter les langages intermédiaires, nous présentons notamment l' usage du métacompilateur LET/X lorsque une réécriture est nécessaire.

  • Titre traduit

    = Toward a wide spectrum grammatical framwork. : Application to program construction with the STARLET/GL compiler compiler


  • Résumé

    In the application area of character stream transformations, known approaches advantage either the specification process and rapid prototyping (e,g, logic programming with grammars) or the efficient coding of translators by means of compiler compilers. We propose a wide spectrum grammatical programming framework which enhances formal specification by grammars while supporting the building process until we get a reliable and efficient software. This thesis is a refinement of J. Maluszynski proposals on programming with two-level grammars. The formalism we used is issued from the Extended Affix Grammars designed by D. A. Watt. The grammatical semantics of a specification is called its characteristic relation and a program is a device that computes a subject of such a relation. First, we study the feasibility of a new tool that should support specification Then we explain how to use a specification in order to prototype translators with STARLET/GL complier compiler. We can take the most of many static checks since we compute only translations (variable-free tuples of a characteristic relation). We reuse the reliable STARLET/GL prototypes when we want to master efficiency. Programs remain well-formed affix grammars but we must choose more concrete data structures and algorithms to process the intermediate languages. Among others, we present the use of the LET compiler compiler when a rewriting is needed.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : C.83(1395)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.