C programming

C programming training.

All materials are at https://systemes.pages.ensimag.fr/www-c

Programming Project (Compiler Design)

Programming Project (OS)

Introduction To Visual Computing

The content of the unit is here

https://chamilo.univ-grenoble-alpes.fr/courses/GBX7MO06

Mathematics For Computer Science

Web page of the course: http://datamove.imag.fr/denis.trystram/teaching.php

Programming Languages and Compiler Design

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

Technical writing and speaking in English

This course aims to provide students with useful tools and methods needed to effectively communicate with other scientists. 


Algorithmic Problem Solving

The new version of the course material is available on Caseine: https://moodle.caseine.org/course/view.php?id=813

Principles of Operating Systems and Concurrent Programming

Introduction to Software Engineering