Langages de programmation et compilation
du sens
comment d´efinir la signification des programmes ´ecrits dans un langage ?
la plupart du temps, on se contente d’une description informelle, en langue
naturelle (norme ISO, standard, ouvrage de r´ef´erence, etc.)
s’av`ere peu satisfaisant, car souvent impr´ecis, voire ambigu
Jean-Christophe Filliˆatre Langages de programmation et compilation 2016–2017 / cours 3 2
s´emantique informelle
The Java programming language
guarantees that the operands of
operators appear to be evaluated
in a specific evaluation order,
namely, from left to right.
It is recommended that code not
rely crucially on this specification.
Jean-Christophe Filliˆatre Langages de programmation et compilation 2016–2017 / cours 3 3
s´emantique formelle
la s´emantique formelle caract´erise math´ematiquement les calculs d´ecrits
par un programme
utile pour la r´ealisation d’outils (interpr`etes, compilateurs, etc.)
indispensable pour raisonner sur les programmes
Jean-Christophe Filliˆatre Langages de programmation et compilation 2016–2017 / cours 3 4
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
1
/
80
100%
