Machine-translated by Google. Questions are authored in English.
Top

Discussion

Data flow equations are solved by

  • A.a single pass over the flow graph in textual order
  • B.solving a system of linear equations exactly
  • C.executing the program on representative inputs
  • D.iterating until no set changes any further

Answer: D

Correct answer: iterating until no set changes any further

The equations are recursive round loops, so they are solved by initialising the sets and applying the transfer and meet functions repeatedly until nothing changes. Termination is guaranteed because the sets form a finite lattice and each iteration moves monotonically in one direction, so the process cannot cycle.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.