Compilation pour les systèmes embarqués

Introduction

Notions de base

Interprétation abstraite (1) (mis à jour le 4 Mars 2005)

TD      Solutions 1 2

Interprétation abstraite (2)

Allocation de registres (J-M. Daveau)

Solution exercices

Manipulations de nids de boucles (B. Meister)

Liens utiles

P. Cousot & R. Cousot, 1992

D. Pilaud, 1999 (en francais)

P. Cousot, 2000 (en francais)

P. Feautrier – Data flot (en francais)

B. Jeannet – Chapitre 2 (en francais)

David F. Bacon, Susan L. Graham, and Oliver Sharp, 1994