LARA Homework 4 Theoretical homework Deadline: April 8, 2012 (midnight) Homework 4 - Abstract interpretation Please type up your solution and submit it through Moodle.