1. C021TV-I3-S2

2. I.3 Programming Machine code Bugs Humans and languages
Higher level language and compilation
Bugs
Humans and languages

3. Compilation ?
Idea 2

4. Compilation ?
Idea ⇓
Main aspects 2

5. Algorithm + data structure
Compilation ?
Idea ⇓
Main apsects
Algorithm + data structure 2

6. Algorithm + data structure
Compilation ?
Idea ⇓
Main apsects
Algorithm + data structure
Program 2

7. Algorithm + data structure
Compilation ?
Idea ⇓
Main aspects
Algorithm + data structure
Program
Machine code 2

8. Algorithm + data structure
Compilation ?
Idea ⇓
Main apsects
Algorithm + data structure
Program
⇓ Compilation Machine code 2

9. Compiler? A compiler is a program! As a first approximation,
It takes a text in a specific language (C, C++, OCaml. . .)
It sends back either a text or an executable as an assembler.
There are also interpreted languages where the program is dynamically executed by the interpreter.

10. Compiler ++ Moreover, the compiler Checks there are no syntax errors
Checks there are no type errors (depends on the language)
Can check a certain number of simple criteria and issue warnings (such as unused variables).
So it checks(at least) that the program can be transformed into an executable. 4

11. Compiler ++ Moreover, the compiler Checks there are no syntax errors
Checks there are no type errors (depends on the language)
Can check a certain number of simple criteria and issue warnings (such as unused variables).
So it checks(at least) that the program can be transformed into an executable.
But that does not guarantee the program will do what we want it to do! 4