Cálculo de las expresiones eliminadas de un programa

En el vídeo se introduce la definición formal de una función (kill) para calcular las expresiones eliminadas en cada bloque de un programa. La función kill se emplea en diferentes contextos, como es el caso del análisis de expresiones disponibles. Vidal Oriola, GF. (2022). Cálculo de las expresiones eliminadas de un programa. http://hdl.handle.net/10251/183745