SAMPI - Editeur structuré
1. Le Problème et la Proposition
2. Le Langage Primitif de Représentation Textuelle
2.1. Présentation de la Syntaxe Concrète
2.2. Notations
2.3. Exemple de structuration des données
2.4. Exemple de structuration des traitements
2.5. Exemple de structurations connexes
3. Le Langage Complété pour la Structuration des Textes
3.1. Présentation de la Syntaxe Complétée
3.2. Etude quantitative de l'évolution des programmes
3.3. L'édition syntaxique
3.4. étude de cas : le langage LTR3 et l'atelier ENTREPRISE
4. L'Enrichissement du Langage par de Nouveaux Concepts
4.1. Présentation de la Syntaxe Abstraite
4.2. Les difficultés
4.3. Compléter la Syntaxe
5. La Formalisation des Solutions Techniques
5.1. L'évaluation fonctionnelle
5.2. La structuration par les objets
5.3. Modèle sémantique comparé de l'évaluateur
5.4. Comparaison critique
5.5. Construction de la Syntaxe Abstraite
6. Les Comparaisons avec d'autres Approches
6.1. Les critères
6.2. Le classement
6.3. La structure Plate
6.4. La nature d'Objet structuré
6.5. La nature de Type structuré
6.51. La structure d'Arbre : les éditeurs syntaxiques
6.52. La structure d'Arbre : les environnements dédiés à un langage
6.53. La structure d'Arbre : les environnements de gestion de projet
6.54. La structure d'Arbre : les éditeurs sémantiques
6.55. La structure de Graphe : les hypertextes
6.56. La structure de Graphe : les éditeurs de données
6.57. La structure de Graphe : une approche LOO (Langage Orienté Objet)
6.6. La nature de Classe structurée
7. Les Perspectives
8. Les Editeurs
8.0. brisé sur la barrière de la complexité (une fois de plus)
8.1. L'éditeur ligne : Manuel de l'utilisateur
8.2. L'éditeur page : Guide de l'utilisateur
9. Les Aspects d'Implantation
9.1. Contexte d'évaluation
9.2. La Syntaxe Abstraite : Manuel du concepteur
9.3. L'éditeur page : Guide de l'implanteur
Références
Rubrique Perl-Javascript

La nature de Type structuré

1. La structure d'Arbre : les éditeurs syntaxiques

2. La structure d'Arbre : les environnements dédiés à un langage

3. La structure d'Arbre : les environnements de gestion de projet

4. La structure d'Arbre : les éditeurs sémantiques

5. La structure de Graphe : les hypertextes

6. La structure de Graphe : les éditeurs de données

7. La structure de Graphe : une approche LOO (Langage Orienté Objet)

4. La structure d'Arbre : les éditeurs sémantiques

On place ici deux éditeurs sémantiques qui entrent encore dans la catégorie des outils travaillant sur les Arbres de Types.

Le premier, a Semantic Editor [DyS 85], a déjà été présenté (cf. Chapitre 2.4, « Exemple de structuration des traitements ») ; il travaille sur les arbres syntaxiques du langage FP, en maintenant la relation d'équivalence entre les programmes sémantiquement équivalents – on travaille en définitive sur des graphes orientés.

Le second, Φ (pour PHENARETE, [Wer 85]), est un outil de correction des programmes Lisp. Il détecte des erreurs d'ordre lexical ("CRA" au lieu de "CAR"), syntaxique (le parenthésage Lisp), sémantique (l'absence d'un test de terminaison d'une fonction récursive), "esthétique". Le programme fonctionne par l'activation de démons, des traitements qui "démarrent" tous seuls quand l'état du système répond à certains critères donnés :

les démons dirigés par les données : ce sont les « spécialistes » de Φ, qui représentent des schémas-types d'erreurs communément faites ;
les démons dirigés par les concepts : ce sont les « règles pragmatiques », qui travaillent avec la prise en compte d'une certaine information de contexte.

On l'a rangé dans la classe des Arbres de Types parce qu'il présente des Types définis indépendamment de la session sous l'éditeur (les démons) et qu'il travaille sur les Arbres syntaxiques de Lisp – quoique pour ce dernier point, l'outil s'intéressant plus à la sémantique qu'à la syntaxe des programmes Lisp, il ne soit pas très éloigné d'un outil travaillant sur une structure de Graphe...