C programming training.
All materials are at https://systemes.pages.ensimag.fr/www-c
- Enseignant responsable de cours: Grégory Mounié
- Enseignant responsable de cours: Edmond Boyer
- Enseignant responsable de cours: Sergi Pujades Rocamora
Web page of the course: http://datamove.imag.fr/denis.trystram/teaching.php
- Enseignant responsable de cours: Denis Trystram
- Enseignant responsable de cours: Jean-Marc Vincent
Teaching semester : S1
Target skills :
This module introduces the main concepts available in programming languages to execute a program on a machine. It aims to provide:
- the formal tools allowing to describe (static and dynamic) program semantics;
- the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.
Program summary :
1. The formalisms used to describe programming language semantics: operational semantics, axiomatic semantics, denotational semantics. Application to a high-order imperative programming language.
2. Compiler architecture
3. Type systems: formalization and application to imperative and functional languages
4. Program execution environment, code generation
5. Introduction to code optimization, data-flow analysis
6. Program correctness and verification
- Enseignant responsable de cours: Ylies Falcone
- Enseignant: Gwenaël Delaval
- Enseignant: Valentin Gledel
- Enseignant: Laurent Mounier
This course aims to provide students with useful tools and methods needed to effectively communicate with other scientists. A number of useful tips about writing a CV and cover letter in addition to basic rules of writing formal letters in English are presented. Students learn how to do a literature review and how to write a scientific paper. They improve their writing skills and learn how to present their research in the form of a poster or an oral presentation.
- Enseignant responsable de cours: Renaud Lachaize
- Enseignant responsable de cours: Angan Mitra
- Enseignant responsable de cours: Grégory Mounié
The new version of the course material is available on Caseine: https://moodle.caseine.org/course/view.php?id=813
- Enseignant responsable de cours: Florent Bouchez Tichadou
- Enseignant: Auguste Olivry
- Enseignant: Renaud Lachaize
- Enseignant: Thomas Ropars
- Enseignant responsable de cours: lydie du Bousquet
- Enseignant: Frédéric LANG
- Enseignant: Mahyar Tourchi Moghaddam