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 ...
El vídeo introduce la definición formal de la función "final" para el cálculo de los bloques "finales" (los que se ejecutan al final) de una sentencia o un programa escrito en el lenguaje WHILE.
En este vídeo se presenta la definición formal de la función init y su aplicación para calcular la etiqueta del bloque inicial de un programa escrito en el lenguaje WHILE.