Enviar aquest missatge de text: Abstract interpretations & abstract machines :