All the world is an abstract interpretation (of all the world) [pdf]

Course in program analysis at ETH Zurich http://www.srl.inf.ethz.ch/pa.php

Thank Compute for causality.

ETH <3