Etude du typage dans le syteme de calcul

Emmanuel Touratier

Description

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

Sujets

• Catégories
• Satisfaction

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 44
• Langue: Français

Extrait

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
.