Introductions à l'interprétation abstraite sur la toile / Introductions to Abstract Interpretation on the Web

• Sémantique et interprétation abstraite (pour les débutants, pour les scientifiques)
• Semantics and abstract interpretation (for beginners, for computer scientists, for specialists)

• Peter Schachte, A Gentle Introduction to Static Analysis and Logic Programming
• Julian Padget, Strictness analysis