All four bitvectoring data flow problems

Reference no: EM131096307

Generalize the proof from Exercise 17 to prove or disprove that all four bitvectoring data flow problems in Exercise 12 are distributive.

Exercise 17

A data flow problem is distributive if the following formula holds for every transfer function f and lattice values a and b.

Prove or disprove that available expressions (Exercise 8) is a distributive data flow problem.

Exercise 12

Four of the data flow problems presented in Section 16.2 and in Exercises 10 and 11 are:

. Available expressions

. Live variables

. Very busy expressions

. Reaching definitions

These problems are known as the bit-vectoring data flow problems. Summarize these problems by entering each into its proper position in the following table.

The columns refer to whether information is pushed forward or backward to achieve a solution to the problem. The rows refer to whether information should hold on all paths or any path.

Exercises 10

Live ness shows that a variable is potentially of future use in a program. The very busy expressions problem if an expression's value is certainly of future use.

(a) Is this a forward or backward problem?

(b) What is the best solution?

(d) How are solutions summarized at common control flow points?

(e) How would you determine live ness for a set of expressions?

Exercises 11

Reaching defs

Exercises 14

A data flow framework is rapid if defines rapid ... then prove that available expressions is rapid.

Reference no: EM131096307

Questions Cloud

Java program that asks the user : Write a Java program that asks the user to input a positive integer n first, then create an array of size n. Fill n random integers between 5 and 555, inclusively, into the created array.

Create an application that instantiates one martian : Create an application that instantiates one Martian and one Jupiterian and set and display their data.

Choose a funeral home in orange county area and pretend : Choose a funeral home in Orange County area and pretend that you visited the funeral home and write about all the details for arranging my own funeral. Find all the costs least/most expensive and everything else related to funeral. Please include ..

What other concepts or conditions played a key role : What role did the concepts of imperialism, nationalism, racism, and militarism play in creating the conditions that ushered in World War II? What other concepts or conditions played a key role?

All four bitvectoring data flow problems : Generalize the proof from Exercise 17 to prove or disprove that all four bitvectoring data flow problems in Exercise 12 are distributive.

Which of the following is a correct method call : Which of the following is a correct method call

What are the basic principles of behaviorism : What are the basic principles of behaviorism? How are the basic principles of behaviorism used today? How did behaviorism seek to change psychology as a discipline?

Define three classes of intruders : 1. List and briefly define three classes of intruders. 2. What are two common techniques used to protect a password file? 3. What are three benefits that can be provided by an intrusion detection system?

Consultant for firm that is perfectly competitive : Suppose you are a consultant for a firm that is perfectly competitive. The firm is worried only about its policies in the short run. What would you recommend in terms of quantity changes (raise, cut, shut down or stay put) and price changes (raise, c..

User Account

All Pages