Describe its domain the meet operator the meet of the

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: gle analysis pass. 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: sat tr xc = ix f xyz =+ xfy =() x =y y x= 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).

Ask a homework question - tutors are online