1 Introduction
1.1 Généralités
1.2 Vue générale du langage
1.3 Modes et classes
1.4 Locus et leurs accès
1.5 Valeurs et leurs opérations
1.6 Actions
1.7 Entrée et sortie
1.8 Traitement des exceptions
1.9 Supervision temporelle
1.10 Structure des programmes
1.11 Exécution simultanée
1.12 Propriétés sémantiques générales
1.13 Options pour l'implémentation
2 Préliminaires
2.1 Métalangage
2.2 Vocabulaire
2.3 Espacements
2.4 Commentaires
2.6 Directives
au compilateur
2.7 Noms et leurs occurences de définitions
3 Modes et classes
3.1 Généralités
3.2 Définitions de modes
3.3 Classification des modes
3.4 Modes discret
3.5 Modes réels
3.6 Modes ensembliste
3.7 Référence
3.8 Modes procédure
3.9 Modes instence
3.10 Modes synchronisation
3.11 Modes entrée-sortie
3.12 Modes temporisation
3.13 Modes
composites
3.14 Modes dynamiques
3.15 Modes Moreta
4 Les locus et leurs accès
4.1 Déclarations
4.2 Les locus
5 Valeurs et leurs opérations
5.1 Définitions de synonymes
5.2 Valeur primitive
5.3 Valeurs et expressions
6 Actions
6.1 Généralités
6.2 Action d'affectation
6.3 Action conditionnelle
6.4 Action à cas
6.5 Action faire
6.6 Action sortir
6.7 Action appeler
6.8 Action résulter et action revenir
6.9 Action aller
6.10 Action affirmer
6.11 Action vide
6.12 Action induire
6.13 Action démarrer
6.14 Action arrêter
6.15 Action continuer
6.16 Action mettre en attente
6.17 Action attente
6.18 Action envoyer
6.19 Action recevoir et choisir
6.20 Appels de routine prédéfinie CHILL
7 Entrée et sortie
7.1 Modèle de
référence E/S
7.2 Valeurs d'association
7.3 Valeurs d'accès
7.4 Routines prédéfinies pour entrée-sortie
7.5 Entrée/sortie de texte
8 Filets d'exception
8.1 Généralités
8.2 Filets
8.3 Identification de filet
9 Temporisation
9.1 Généralités
9.2 Processus temporisables
9.3 Actions de temporisation
9.4 Routines prédéfinies pour le temps
10 Structure de programme
10.1 Généralités
10.2 Domaines et imbrication
10.3 Blocs début-fin
10.4 Définitions de procédure
10.5 Définitions de processus et de spécifications
10.6 Modules
10.7 Régions
10.8 Programme
10.9 Allocation de mémoire et durée de vie
10.10 Constructions pour la programmation par fragments
10.11 Généricité
11 Exécution simultanée
11.1 Les processus, les tâches, les fils d'exécution et
leurs définitions
11.2 Exclusion mutuelle et régions
11.3 Mise en attente d'un fil d'exécution
11.4 Réactivation d'un fil d'exécution
11.5 Enoncés de définition de signal
11.6 Fin des locus de région et de tâche
12 Propriétés sémantiques générales
12.1 Règles de vérification des modes
12.2 Visibilité et rattachement de nom
12.3 Sélection de cas 12.4 Définition
et résumé des catégories sémantiques
13 Options pour l'implémentation
13.1 Routines opérations prédéfinies par
l'implémentation
13.2 Modes entier définis par l'implémentation
13.3 Modes virgule flottante définis par
l'implémentation
13.4 Noms de processus définis par l'implémentation
13.5 Filets définis par l'implémentation
13.6 Noms d'exception définis par l'implémentation
13.7 Autres caractéristiques définies par
l'implémentation
Appendice
I – Jeu de
caractères pour le langage CHILL
Appendice II – Symboles spéciaux
Appendice III – Chaînes de nom simple spéciales
III.1 Chaînes de nom simple spéciales
III.2 Chaînes de nom simple prédéfinies
III.3 Noms d'exception
Appendice IV – Exemples de programmes
IV.1 Opérations sur les entiers
IV.2 Mêmes opérations sur les fractions
IV.3 Mêmes opérations sur les nombres complexes
IV.4 Arithmétique d’ordre général
IV.5 Additionner bit à bit et vérifier le résultat
IV.6 Jouer avec les dates
IV.7 Nombres romains
IV.8 Compter les lettres dans une chaîne de caractères
de longueur arbitraire
IV.9 Nombres premiers
IV.10 Implémenter des piles de deux manières
différentes, transparentes pour l’utilisateur
IV.11 Fragments pour jouer aux échecs
IV.12 Construire et manipuler une liste chaînée
circulairement
IV.13 Une région pour donner des accès compétitifs à une
ressource
IV.14 Mettre en attente les appels à un central
IV.15 Affecter et désaffecter un ensemble de ressources
IV.16 Affecter et désaffecter un ensemble de ressources
en employant des tampons
IV.17 Parcours de chaîne 1
IV.18 Parcours de chaîne 2
IV.19 Enlever un élément d’une liste doublement chaînée
IV.20 Mettre à jour un fichier
IV.21 Fusionner deux fichiers triés
IV.22 Lire un fichier ayant
des enregistrements de longueur variable
IV.23 L’emploi de modules de spec
IV.24 Exemple d’un contexte
IV.25 L’emploi de la préfixation et de modules distants
IV.26 L’emploi d’e/s de texte
IV.27 Une pile générique
IV.28 Un type de données abstrait
IV.29 Exemple d’un module de spec
IV.30 Orientation-objet: modes pour piles séquentrielles
simples
IV.31 Orientation objet: extension de mode: pile
séquentielle simple avec opération "Top"
IV.32 Orientation objet: modes pour des piles à synchronisation d’accès
Appendice V – Caractéristiques qui ne sont plus en vigueur
V.1 Directive de libération
V.2 Syntaxe de mode entier
V.3 Modes ensemble avec des trous
V.4 Syntaxe des modes procédure
V.5 Syntaxe des modes chaîne
V.6 Syntaxe des modes matrice
V.7 Notation étagée de structures
V.8 Noms de
référence d'implantation
V.9 Déclarations de locus avec base
V.10 Littéraux chaîne de caractères
V.11 Expressions recevoir
V.12 Notation Addr
V.13 Syntaxe d'affectation
V.14 Syntaxe
d'action à cas
V.15 Syntaxe action faire-pour
V.16 Compteurs de boucles explicites
V.17 Syntaxe d'action appeler
V.18 Exception RECURSEFAIL
V.19 Syntaxe d'action démarrer
V.20 Noms explicites de valeur reçue
V.21 Blocs
V.22 Enoncé d'entrée
V.23 Noms de registre
V.24 Attribut récursif
V.25 Enoncés de quasi-cause et quasi-filets
V.26 Syntaxe des quasi-énoncés
V.27 Noms
faiblement visibles et énoncés de visibilité
V.28 Noms faiblement visibles et énoncés de
visibilité
V.29 Envahissement
V.30 Saisie par nom de modulion
V.31 Chaînes de nom simple prédéfinies
Appendice VI – Index des
règles de production