Objets et opérateurs
Pascal — Langages d’écriture de systèmes

Un programme est constitué d’une suite d’ actions , exprimées par des énoncés , qui manipulent des objets . Pour classer ces objets en fonction des actions auxquelles il est possible de les soumettre, on associe un type aux variables qui permettent d’accéder aux objets. Le type d’une variable définit donc à la fois l’ensemble des valeurs qu’elle peut prendre et la nature des opérations qui peuvent lui être appliquées. Cela permet de vérifier automatiquement, et en général avant l’exécution du programme, la légalité des opérations contenues dans les énoncés de celui‐ci.

Certains types sont prédéfinis...