Văn bản này: Abstract interpretations & abstract machines :