Vincent Granet (vg@unice.fr)
The goal of this course is to teach students to program the
C language from the ground up. Most of students have no
background in programming, so for each C presented
concept, we have to present the related algorithmic and
programming concept. Note that the
Hoare Logic
(formal method to prove the correctness of procedural programs)
is introduced in the course.
The course is divided into two 15 days sessions,
one by semester (Fall and Spring).
