- -

Listar por palabra clave "Lenguajes de programación imperativos"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Lenguajes de programación imperativos"

Ordenar por:Orden:Resultados:

  • thumb
    Cálculo de las expresiones eliminadas de un programa 
    Vidal Oriola, Germán Francisco (2022-07-01)
    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 ...
  • thumb
    Cálculo de los bloques finales de un programa 
    Vidal Oriola, Germán Francisco (2022-06-27)
    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.
  • thumb
    Cálculo del bloque inicial de un programa 
    Vidal Oriola, Germán Francisco (2022-06-30)
    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.
  • thumb
    El grafo de control de flujo de un programa WHILE 
    Vidal Oriola, Germán Francisco (2022-06-30)
    El vídeo introduce la construcción del CFG de un programa escrito en el lenguaje WHILE. El CFG tiene muchas aplicaciones, aunque se suele construir de forma intuitiva. En este vídeo, se formaliza su construcción mediante ...
  • thumb
    El lenguaje WHILE 
    Vidal Oriola, Germán Francisco (2022-06-17)
    El vídeo introduce el lenguaje WHILE, un lenguaje de programación imperativo muy simple que se emplea habitualmente para ilustrar diferentes técnicas relacionadas con los lenguajes de programación.