this term is used to mean two quite different things! There's a notion of liveness used in mode analysis: a variable is live if either it or an alias might be used later on in the computation. There's a different notion of liveness used for code generation: a variable becomes live (is "born") when the register or stack slot holding the variable first acquires a value, and dies when that value will definitely not be needed again within this procedure. This notion is low-level because it could depend on the low-level representation details (in particular, `no_tag' representations ought to affect liveness).

The quality of having animal life as distinguished from plant life.

having animal life as distinguished from plant life; "full of life"

A property of a storage location related to its lifetime. The location is "alive" or "live" at all code addresses during its lifetime and is "dead" outside of it.

the program will eventually provide a result