C | |
| code [Code] | |
E | |
| elt [Var.Vars] |
The type of the set elements.
|
| env [Machine] |
Un environnement de la machine est une liste de valeurs
|
| env [Inter] |
Environnements : liste d'association des variables vers les valeurs
|
| env [I.Ast] | |
| eqs [Eq] | |
I | |
| instruction [Code] |
Les instructions comme dans le cours
|
L | |
| label [O.Ast] |
Les étiquettes des méthodes
|
S | |
| scheme [Eq] |
Schéma de type : une paire
(vs,t), où vs est la liste des variables
quantifiées dans le type ty.
|
| subst [Eq] |
Types des ensembles d'équations et des substitutions
|
T | |
| t [O.Ast] |
Type de la syntaxe abstraite des termes de oPCF.
|
| t [I.Ast] |
Type de la syntaxe abstraite des termes de iPCF.
|
| t [T.Ast] |
Les termes
|
| t [T.Type] | |
| t [S.Ast] | |
| t [Env] |
Types des environnements qui associent
'a aux variables
|
| t [Var.Vars] |
The type of sets.
|
| t [Var] |
Type des variables
|
| t [Op] |
Les quatre opérations
|
V | |
| value [Machine] |
Le types des valeurs
|
| value [Inter] |
Les valeurs de PCF
|