8.2. Liste des tableaux
- Tableau 1 : Les onze engagements, ce qu'ils affirment, ce qui les tient et par où ils se lèveront
- Tableau 2 : Action de chaque composante du grade sur chaque composante de l'effet
- Tableau 3 : Sédimentation triadique : fragments logiques, couches et garanties
- Tableau 4 : Correspondance des dimensions d'ingénierie par couche
- Tableau 5 : Les symboles du document et l'objet que chacun dénote
- Tableau 6 : Glyphes de la bibliothèque standard de couche 3 et leurs alias textuels
- Tableau 7 : Glyphes des R-expressions, par niveau de complexité
- Tableau 8 : Les instances du procédé de gradation, et la structure ordonnée de chacune
- Tableau 9 : Les quatre modalités d'usage comme quatre intervalles d'une seule construction
- Tableau 10 : Le produit mixte du sous-typage, sa direction et son opération de composition par composante
- Tableau 11 : Les deux projections, de même forme sur les effets et de traitement opposé sur le temps
- Tableau 12 : Les trois aspects de la distribution et la strate où chacun se range
- Tableau 13 : Classes de motifs et bornes : machine, temps, espace, classe reconnue
- Tableau 14 : Les sept niveaux de gestion mémoire de K7PL
- Tableau 15 : Ce que le cadre de sortes paramétrique offre, et ce que K7PL en retient
- Tableau 16 : Les quatre prédicats de capacité, instanciés pour K7PL
- Tableau 17 : Les trois délimiteurs comme annonces de phase
- Tableau 18 : Les cinq mots-clés de preuve, et l'obligation que chacun projette
- Tableau 19 : Les six formes de surface du langage et leur image dans le noyau
- Tableau 20 : Les quatre contrôles que le vérificateur porte sur le corps de la macro avant expansion
- Tableau 21 : Statut de chacune des affirmations de cette section
- Tableau 22 : Codes rejetant une composition qui franchit une frontière de couche
- Tableau 23 : Codes protégeant la pureté et la totalité de la couche 3
- Tableau 24 : Codes émis lorsqu'un critère de terminaison ou de productivité n'est pas établi
- Tableau 25 : Codes protégeant la discipline de capabilité et la sûreté mémoire
- Tableau 26 : Codes rejetant une violation de protocole ou de topologie distribuée
- Tableau 27 : Codes protégeant la distinction de phase et l'hygiène des macros
- Tableau 28 : Codes émis lorsqu'une contrainte de valeur reste indécidée