Etude du typage dans le syteme de calcul

De
Publié par

Niveau: Supérieur, Doctorat, Bac+8
Etude du typage dans le syteme de calcul scientique Aldor 1 Emmanuel Touratier Universite de Limoges 1 A Language for Describing Objects and their Relationships

  • extensions de la relation de satisfaction

  • successeur direct du langage axiom

  • expressions licites dans le langage

  • relation de satisfaction

  • categories

  • types des categories

  • satisfaction


Publié le : mardi 19 juin 2012
Lecture(s) : 43
Source : unilim.fr
Nombre de pages : 111
Voir plus Voir moins

Etude
du
t
ypage
L
Ob

dans
Language
le
R
syt
d

1
eme
or
de
and
calcul
ersit
scien
e
tique
e
Aldor
imoges
1
A
Emman
f
uel
Describing
T
jects
ouratier
their
elationships
Univ..
..
..
..
...
..
..
..
..
..
...
..
..
..
..
..
...
...
..
..
..
..
...
..
..
...
Cat
..
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
...
..
..
..
..
...
..
..
..
..
...
...
..
..
..
..
...
..
..
..
..
...
..
..
..
...
..
..
..
..
...
.
.
.
.
.
.

.
.
.
.
.
e
.
.
.
.
.
ebriques
.
ones
.
.
.
.
.
.
.

.
3.1
.
.
.
e
.
.
.
a
13
.
2
.
Les
.
t
.
yp
ectiv
es
.
d'Aldor
7
15
art
2.1
.
Expressions
mati
d'Aldor
22
et
comp
t
.
y
.
p
25
e
i
s
.
es
.

27
ecicit
7

.
p
.
s
.
.
.
.
Esquisses
.
.
.
.
.
.
.
3.6
15
e
2.2
.
F
d
onctions
f
et
.
ob
Cat
jets
cart
de
.
base
.
.
e
.
.
.
.
.
Esquisses
.

.
.
.
.
.
.
.
.
.
.
.
.
.
Cat
.
o
.
s
.
LPG
.
.
.
.
.
.
.
lg
.
F
16
Les
2.3
.
Satisfaction
.
d
.
e
.
t
3.4
yp
.
es
.
.
.
.
.
.
29
Quelques
.
1.4
.
11
.
.
.
.
.
.
.
.
.
.
.
.
pro
.
et
.
.
.
.
17
.
2.4
3.7
T
e
yp
.
es-domaines
Les
e
T
t
.
t
35
yp
egorie
es
esienne
des
esienne
domaines
.
.
.
.
.
.
3.9
.
y
.
eres
.
able
.
.
.
.
.
.
17
3
2.5
23
T
Graphes
yp
a
es-cat
osition

.
egories
.
e
.
t
.
t
.
yp
.
es
.
des
.
cat
.

.
egories
.
.
3.2
.

.
g
.
r
.
e
.
.
.
.
.
-
.
.
.
.
.
.
.
.
.
.
18
.
2.5.1

ell
.

3.3
egories
oncteurs
comme
langages
t
1.2
yp
.
es
.
de
.
domaines
.
.
.
.
.
.
.
.
.
.
28
.
C^
.
.
.
.
.
.
.
.
18
.
2.5.2
.
T
.
yp
.
es
.
des
3.5
cat
.

.
egories
.
Hask
.
angage
.
l
.
u
.
d
.
Exemple
.
.
.
.
.
.
.
.
.
.
.
.
.
20
32
1.3
Limites
10
j
d'Aldor
es
.
inductiv
.
s
38
.
comme
.
t
.
yp
.
es
.
.
34
.
Mo
.

.
l
.
.
.
onctionnels
.
langages
.
1.1
.
ypage
.
1
.
.
20
.
2.7
.
Pr
3.8


esen
c
tation

graphique
et
.

.
ferm
.
.
.
.
.
.
.
.
.
.
.
.
.
36
.
Cat
.
egorie-t
.
p
.
.
.

.
des
.
2.6
T
Domaines
et
.
cat
.

.
egories
1
ee..
...
..
..
..
..
...
...
..
..
..
..
...
...
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
...
..
..
..
..
...
..
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
..
..
..
..
...
..
..
..
..
...
...
..
..
..
..
...
..
..
...
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
...
..
..
..
..
..
...
..
..
..
..
...
...
..
..
..
..
...
..
...
..
..
..
..
...
..
..
..
...
..
..
..
..
.
.
.
fonction
.
.
.
.
47
.
4.3
'
Structure
.
de
6
cat


.
egorie
.

.
a
68
comp
.
osition
.
faible
oth
.
e
.
.
.
e
.
d'une
.
iden
.
.
.
.
.
.
.
p
.
T
.
yp
49
.
4.4
atisfaction
Structure
.
de
er
cat
.

.
egorie
.
cart
.

Application
esienne
.
.
de
.
.
.
.
.
.
.
.
.
.
.
y
.
t
.
.
.
.
.
yp
.
.
.
.
.
e
.
.
.
.
52
prol
4.4.1
.
Uplets
.
de
Relation
t
.
y
.
p
.
e
yp
s
expression
.
.
.
.
.
.
.
Expression
.
T
.
78
s
.
.
.
.
.
.
a
.
.
.
Expression
.
items
52
4.2.4
4.4.2
.
Pro
5.1.4
duits
47
de
.
deux
.
t
5.1.5
y

p
items
e
.
s
.
e
5.2
p
e
y
n
t
m
et
.
.
.
.
4.2.2
.
.
.
5.3
.
d
.
.
.
g
.
.
53
.
4.4.3
T
Pro
'une
duit
45
d
.
e
.
\rien"
5.5
.
e
.
fonction
.
.
.
.
.
.
.
.
.
69
.
e
.
.
.
.
.
.
.
.
.
.
.
.
.
et
.
inf
.
e
.
6.1
.
eses
.
.
.
.
55
.
4.5
.
Structure
.
de
76
cat
forme

.
egorie
.
cart
.

Comp
esienne
de
ferm
.

.
e
.
e
.
items
78
onctions,
fonction
.
n
.
.
.
.
.
78
.
forme
.
es
.
t
.
Satisfaction
56
.
4.5.1
.
Exp
.
o
63
nen
Nature
tielle
expression
.
.
.
.
.
.
F
.
4.2
.
42
63
.
Expressions
.
ti
.
ees
.
.
.
.
.
.
.
.
.
.
.
.
56
64
4.5.2
T
Currycation
p
.
d
.
u
.
i
.
e
.
.
.
.
egorie
.

.
cat
.
.
44
.
.
.
.
.
.
.
67
.
T
57
e
4.5.3
'une
Application
.
de
.
Structure
e
4.1
a
41
y
d'esquisses
.
termes
.
en
.
d'Aldor
5.4
.
yp
.
d
.
expression
.
4.2.3
.
.
.
.
58
.
5
.
T
.
ypage
69
d'une
T
e
e
xpression
t
par
d'une
d
.

.
eclaration
.
60
.
5.1
.
Rapp
.
e
.
ls
.
et
.
h
.
yp
5.6
oth
d

s
eses
.
etation
.

.
terpr
.
in
.
Une
.
4
.
.
.
.
.
79
.
T
.
e
70
.
Construction
er
t
e
e
fonction

.

.
d'une
.
76
.
Hyp
.

.
principales
ere
.
.
.

.
ece
.
.
.
.
.
.
.
44
.
.
.
.
.
.
.
.
6.2
.
sous
.
applicativ
.
.
.
.
61
yp
5.1.2
.
T
.
yp
.
es
6.2.1
de
os
deuxi
ee
4.2.1
fonctions
.
.
.
.

.
ece
.
F
.
onctions
.
et
.
es
.
.
.
.
6.2.2
.
d'une
.

.
u
.
item
.
.
.
.
62
.
5.1.3
.
Pr
.

6.3
esen
sous
tations
primitiv
de
.
TYPE
et
yp

eme
.
esp
.
2
.
.
.
.
6.3.1
.
.
.
i
.

.

60
d'une
5.1.1
.
T
.
yp
.
es
.
de
.
premi
.

.
esp
79
nf
yp..
..
..
...
..
..
..
..
Con
..
..
..
..
ea
..
..
..
..
..
...
..
..
..
...
ee
..
..
..
...
..
..
..
...
..
..
..
..
...
..
..
..
..
...
..
..
..
..
...
...
..
..
..
..
...
la
relation
d
.
c
.
e
.
satisfaction
.
.

.
.
.
.
.
.
.
ersp
.
sur
.
.
.
Les
.
a
.
0
.
.
.
.
.
02
83
.
6.4.1

Satisfaction
Autre
de
o
cat
.

05
egories
.
.
.
.
Application
.
6.3.3
.
.
.

.
egorie
.
0
.
.
.
.
.
.
.
l'application
.
.
.
1
.

.
i
.
1
.
d
83
l
6.4.2
04
Satisfaction
.
au
.
t
.
yp
.
e
.
\vide"
.
.
6.3.2
.
.
.
97
.
fonction
.
n
.
.
.
.
.
.
.
7.4.1
.
condition
.
.
.
.
.
.
.
7.4.2
.
.
.
.
87
.
6.4.3
.
de
.
v
.
ersions
Justication
automatiques
.
Extensions
.
6.4
.
81
.
.
7.5
.
e
.
d'une
.

.
.
.
.
.
4
.
oin
.
v
88
e
6.4.4
c
Compatibilit
.

Notion
.
.
v
.
ec
.
!
.
.
.
.
.
.
Notion
.
.
.
.
.
.
.
.
.
105
.
1
.
T
.
.
.
.
90
.
6.4.5
7.4
Satisfaction
d'une
induite

par
u
Join
item
domaine
81
d'un
.
e
.

.
.
.
.
1
.
1
.
Premi
.
ere
.
.
92
.
7
.
Application,
.
h
.

.
eritage
1
et
1
appartenance
Seconde
95
ondition
7.1
.
In
.
tro
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
7.4.3
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
02
.
P
.
ectiv
.
s
.
cat
.
e
.
er
.
.
.
e
.
.
.
.
95
.
7.2
0
Compatibilit
7.5.1

p
er
t
n
e
tre
ue
t
l'application
yp
t
e
a
e
omp
t
sition
nature
1
.
7.5.2

d'h
.
eritage
.
.
.
.
.
.
1
.
6
.
Conclusion
.
.
.
.
.
.
.
.
.
.
1
.
7.5.3
.
d'appartenance
.
.
.
.
.
.
.
.
.
.
d
.

.
.
.
de
.
fonction
7.5.4
i
conditionnelles
e
T
.
.
3
.
.
.
.
.
.
.
.
0
.
7.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
.
7.3
.
Retour
.
sur
.
la
.
e

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.