El objetivo fundamental de este trabajo es desarrollar una herramienta que sea capaz de transformar las variables globales de un programa secuencial en variables locales declaradas en el main del programa, con las modificaciones correspondientes en los parámetros de las funciones que hagan uso de ellas. Todo ello para programas escritos en el lenguaje de programación C++. La herramienta, además de ser un eliminador de variables globales, también será capaz de detectar si las variables existentes no declaradas como constantes pueden ser declaradas como constantes. En caso de que una variable global pueda ser declarada como constante, se transformará a una constante. Para desarrollar la herramienta haremos uso de LibTooling, una librería ba...
[ES] Resumen: El proyecto final de máster se ha realizado en la empresa ProjectBinder SL, que implem...
El presente trabajo se inscribe en la Línea de Investigación de Tecnologías de la Información y la C...
El propósito de la utilidad make es determinar automáticamente qué piezas o módulos de un programa n...
En el vídeo se introduce la definición formal de una función (gen) para calcular las variables usada...
Los sistemas de tipos son una herramienta formal que permiten clasificar las distintas construccione...
Variables para programas de cómputo y símbolos aplicables en la Ingeniería de explotación del petról...
En la mayoría de las materias iniciales de la carrera Ing. en Informática relacionadas a la programa...
En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación d...
[ES] El objetivo principal de este trabajo final de Grado será el diseño de dos algoritmo genético ...
La presente investigación tuvo como propósito la elaboración de un sistema computacional en el lengu...
CompiProgramación es una herramienta diseñada como recurso didáctico para la enseñanza de la lógica ...
CompiProgramación es una herramienta diseñada como recurso didáctico para la enseñanza de la lógica ...
En este trabajo se propone un intérprete de reglas que permite obtener programas lógicos que no pres...
[ES] Resumen: El proyecto final de máster se ha realizado en la empresa ProjectBinder SL, que implem...
En este trabajo se propone un intérprete de reglas que permite obtener programas lógicos que no pres...
[ES] Resumen: El proyecto final de máster se ha realizado en la empresa ProjectBinder SL, que implem...
El presente trabajo se inscribe en la Línea de Investigación de Tecnologías de la Información y la C...
El propósito de la utilidad make es determinar automáticamente qué piezas o módulos de un programa n...
En el vídeo se introduce la definición formal de una función (gen) para calcular las variables usada...
Los sistemas de tipos son una herramienta formal que permiten clasificar las distintas construccione...
Variables para programas de cómputo y símbolos aplicables en la Ingeniería de explotación del petról...
En la mayoría de las materias iniciales de la carrera Ing. en Informática relacionadas a la programa...
En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación d...
[ES] El objetivo principal de este trabajo final de Grado será el diseño de dos algoritmo genético ...
La presente investigación tuvo como propósito la elaboración de un sistema computacional en el lengu...
CompiProgramación es una herramienta diseñada como recurso didáctico para la enseñanza de la lógica ...
CompiProgramación es una herramienta diseñada como recurso didáctico para la enseñanza de la lógica ...
En este trabajo se propone un intérprete de reglas que permite obtener programas lógicos que no pres...
[ES] Resumen: El proyecto final de máster se ha realizado en la empresa ProjectBinder SL, que implem...
En este trabajo se propone un intérprete de reglas que permite obtener programas lógicos que no pres...
[ES] Resumen: El proyecto final de máster se ha realizado en la empresa ProjectBinder SL, que implem...
El presente trabajo se inscribe en la Línea de Investigación de Tecnologías de la Información y la C...
El propósito de la utilidad make es determinar automáticamente qué piezas o módulos de un programa n...