This preview shows page 1. Sign up to view the full content.
Unformatted text preview: gle
a. Design a dataflow analysis that can be used for cascading undead code
removal. Describe its domain, the meet operator, the meet of the empty set,
as well as the transfer function. Where necessary, be conservative. You
only need to specify the transfer function for the following cases:
Here, cdenotes a constant and x y zare variables.
b. Show that the transfer functions you defined are monotonic, and either
show that they are distributive or construct a counterexample.
c. Show that...
View Full Document
This note was uploaded on 02/07/2013 for the course CS 4120 taught by Professor Andrewmyers during the Fall '09 term at Cornell University (Engineering School).
- Fall '09