On the desirable link between theory and practice in abstract interpretation (extended abstract)
2012 ◽
Vol 21
(3)
◽
pp. 74-81
◽