Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Vidal Oriola, Germán Francisco"'
Publikováno v:
Riunet.
El problema de la integraci on de la programaci on l ogica y funcional est a considerado como uno de los m as importantes en el area de investigaci on sobre programaci on declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizars
Externí odkaz:
http://hdl.handle.net/10251/55796
En el vídeo se introduce la definición formal de una función (gen) para calcular las variables usadas en cada bloque de un programa. La función gen se emplea en diferentes contextos, como es el caso del análisis de variables vivas, las técnicas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::c257be8caa805d2beea652795b0dfaf3
https://hdl.handle.net/10251/184818
https://hdl.handle.net/10251/184818
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éc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::3e7f07c512c7b82e7a39344d29de493f
https://hdl.handle.net/10251/184305
https://hdl.handle.net/10251/184305
En el vídeo se introduce la definición formal de una función (gen) para calcular las expresiones generadas en cada bloque de un programa. La función gen se emplea en diferentes contextos, como es el caso del análisis de expresiones disponibles.<
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::747ae978f43668dbd932a2e69a9b2fef
https://hdl.handle.net/10251/184143
https://hdl.handle.net/10251/184143
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 disponible
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::400e2523f850ee2ad46e2f1841e5d247
https://hdl.handle.net/10251/183745
https://hdl.handle.net/10251/183745
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 la función flow.
El
El
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::99f337209d5763ed9c1a2e8a8946ed36
https://hdl.handle.net/10251/183712
https://hdl.handle.net/10251/183712
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.
El vídeo puede emplearse como complemento par
El vídeo puede emplearse como complemento par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::bb777f0fa71e845be5edc89eec969f38
https://hdl.handle.net/10251/183607
https://hdl.handle.net/10251/183607
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.
El vídeo asume que el alumno tiene conocim
El vídeo asume que el alumno tiene conocim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::5ab25836170ad03b47308dc131124082
https://hdl.handle.net/10251/183426
https://hdl.handle.net/10251/183426
En este vídeo se introduce un algoritmo para calcular el MGU (most general unifier) de dos expresiones. Se trata de un concepto clave para comprender la ejecución de un programa lógico.
Puede verse el vídeo deteniéndose en los ejercicios pa
Puede verse el vídeo deteniéndose en los ejercicios pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::12018afccc2e9e54a016122ce1972936
https://hdl.handle.net/10251/105199
https://hdl.handle.net/10251/105199
En el vídeo se introducen los términos en el contexto de la programación lógica. Los términos se emplean para representar los "datos" en los programas lógicos, por lo que resulta esencial conocer su sintaxis y la forma en que se pueden construi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::61d47e52236f3bdc97fdde2037fd3f16
https://hdl.handle.net/10251/104362
https://hdl.handle.net/10251/104362