La Formalisation des Solutions Techniques

On aborde dans ce Chapitre les aspects plus techniques des travaux.

Dans une première partie on discute des choix techniques retenus ; ce sont :

• l'évaluation fonctionnelle et le calcul symbolique,
• la définition des termes du langage par les objets.

Ils sont la cause et la conséquence de l'utilisation du langage Lisp (LeLisp V15.2) pour l'écriture du programme d'évaluation.

Dans une deuxième partie on donne la représentation de la Syntaxe Abstraite qu'on a introduite précédemment.

1. L'évaluation fonctionnelle

1.1. L'évaluation symbolique

1.2. Le calcul symbolique

1.3. Résumé

2. La structuration par les objets

2.1. Représentation de la syntaxe abstraite par les objets

2.2. L'expression par les objets

2.3. Méta-circularité de l'évaluateur

2.4. Annexe : la syntaxe initiale

3. Modèle sémantique comparé de l'évaluateur

3.1. Notations

3.2. La fermeture lexicale : le langage Scheme

3.3. Les Lisps standards : LeLisp

3.4. L'évaluation retardées : « Moi aussi »

3.5. Lisp parallèle : Symmetric Lisp

3.6. Glossaire

4. Comparaison critique

4.1. Qualités d'un langage

4.2. La traduction pour « Moi aussi »

5. Construction de la Syntaxe Abstraite

5.1. La syntaxe de la syntaxe abstraite

5.2. Le graphe des phyla

5.3. Construction du graphe