Discussion
Assertion (A): Iterative data flow analysis is guaranteed to terminate.
Reason (R): Each iteration changes the sets only in one direction and the lattice of possible values has finite height.
Answer: A
Both are true and the reason gives the mechanism, and it is the standard termination argument. Monotone transfer functions over a finite lattice cannot cycle, so the iteration must reach a fixed point in a bounded number of rounds.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development