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
|