En el vídeo se introduce la definición formal de una función (kill) para calcular las variables definidas en cada bloque de un programa. La función kill se emplea en diferentes contextos, como es el caso del análisis de variables vivas, las técnicas de fragmentación de código, etc. Vidal Oriola, GF. (2022). Cálculo de las variables definidas en un programa. Universitat Politècnica de València. http://hdl.handle.net/10251/184305