Describir: Abstract interpretations & abstract machines :