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.3.1. Définition d'un langage
3.3.11.1. La grammaire du langage
3.3.11.2. La syntaxe abstraite et les schémas de décompilation
3.3.11.3. La représentation textuelle
3.3.11.4. La concentration des variables
3.3.11.5. La concentration des propriétés
3.3.11.6. La paramétrisation des propriétés
3.3.11.7. Le poids sémantique des propriétés
3.3.2. Information de contexte
3.3.3. Exécution
3.3.4. Définition de propriétés
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
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

Définition d'un langage

On illustre la démarche par un exemple.

1. La grammaire du langage

2. La syntaxe abstraite et les schémas de décompilation

3. La représentation textuelle

4. La concentration des variables

5. La concentration des propriétés

6. La paramétrisation des propriétés

7. Le poids sémantique des propriétés

1. La grammaire du langage

Figure 1 : le langage

On donne la grammaire du langage de programmation choisi pour l'exemple, dans une notation voisine de la notation BNF, et un exemple de programme « syntaxiquement correct ».

Par exemple : l'affectation

<affect> ::= <VAR> := <EXP>

Le terme <affect> se dérive en :
- le terme <VAR> (terminal instanciable du langage),
- le symbole ":=",
- le terme <EXP> (terminal instanciable).

Figure 1 : le langage [ afficher >><< masquer ]

grammaire

Notations :

`::=`	:	le terme de gauche se dérive en l'expression de droite
`\|`	:	indique un choix dans la dérivation
`{...}`	:	répétition de l'expression entre accolades, 0, 1 ou plusieurs fois
`[...]`	:	expression optionnelle

<pgme>       ::= <pgme-decla> <pgme-instr>
<pgme-decla> ::= VAR { <decla> }
<pgme-instr> ::= { <instr> }

<decla>   ::= <NOM> | <TYP>
<instr>   ::= <affect> | <affiche> | <cond>
<affect>  ::= <VAR> := <EXP>
<affiche> ::= write( <EXP> )
<cond>    ::= if <expr-cond>
              then { <instr> }
              [ else { <instr> } ]
              endif
<expr-cond> ::= <EXP> = <EXP> | <EXP> <> <EXP>

<NOM> <TYP> <VAR> <EXP> ::= terminaux instanciables

exemple

VAR x:integer
    y:real
x:=0
y:=1.0
if x=y
then
  write('Ok')
else
  x:=y
  write('Erreur')
endif
write('fin')