Assertion: variable | /r/HasProperty | live
Facets:
value: at each point
type: TEMPORAL
value: at the start of the block
type: TEMPORAL
value: in the program
type: LOCATION
Source sentences:
text: In compilers, live variable analysis (or simply liveness analysis) is a classic data-flow analysis to calculate the variables that are live at each point in the program.
text: A variable is live at some point if it holds a value that may be needed in the future, or equivalently if its value may be read before the next time the variable is written to.
text: The in-state of a block is the set of variables that are live at the start of the block.