Use-define Chain - Execution

Execution

Consider the sequential execution of the list of statements, s(i), and what can now be observed as the computation at statement, j:

  • A definition at statement s(i) with i < j is alive at j, if it has a use at a statement s(k) with k ≥ j. The set of alive definitions at statement i is denoted as A(i) and the number of alive definitions as |A(i)|. (A(i) is a simple but powerful concept: theoretical and practical results in space complexity theory, access complexity(I/O complexity), register allocation and cache locality exploitation are based on A(i).)
  • A definition at statement s(i) kills all previous definitions (s(k) with k < i) for the same variables.

Read more about this topic:  Use-define Chain

Famous quotes containing the word execution:

    Union of Religious Sentiments begets a surprising confidence and Ecclesiastical Establishments tend to great ignorance and corruption, all of which facilitate the Execution of Mischievous Projects.
    James Madison (1751–1836)

    I am gradually drifting to the opinion that this Rebellion can only be crushed finally by either the execution of all the traitors or the abolition of slavery. Crushed, I mean, so as to remove all danger of its breaking out again in the future.
    Rutherford Birchard Hayes (1822–1893)

    If I were asked to chose between execution and life in prison I would, of course, chose the latter. It’s better to live somehow than not at all.
    Anton Pavlovich Chekhov (1860–1904)