Diseño, implementación y corrección de GraPiCO : un cálculo visual, orientado al objeto y por restricciones compilado a PiCO

En el presente documento se propone un nuevo cálculo visual como solución ante el requerimiento del empleo de multimedios para ampliar los horizontes en cuanto a la difusión y empleo del textual PiCO dadas las m as recientes tendencias y tecnologías. El desarrollo de la investigación en se presentar a con la disposición en siguiente: Alfabeto y sintaxis del cálculo visual GraPiCO: se muestra el conjunto de símbolos empleados en el lenguaje y su localización en un programa. Estos aportes fueron publicados en [TD07]. Especificación textual y sintaxis visual: donde se pone en consideración una novedosa forma de describir textualmente la sintaxis de un lenguaje visual como el cálculo GraPiCO. El aporte m as importante de la investigación on, fue presentado en [TD06]. Mecanismo de traducción: en esta parte del documento se presenta una forma de transformar la representación textual de un programa GraPiCO en código intermedio. Uno de los aportes fundamentales, difundido en [TD09]. Demostración de la consistencia de la semántica: en este apartado se comprueba que la función de especificación textual y las reglas de traducción preservan el significado de los programas. Comprobación sintáctica de la especificación textual de lenguajes visuales mediante símbolos de sincronización: capítulo donde se propone una nueva forma de analizar sintacticamente los lenguajes visuales por medio de los símbolos de sincronización generados en sus correspondientes representaciones gramaticales. Esta contribución se expuso en [TDS+07]. Breve discusión de las ventajas de los lenguajes visuales: aquí se discuten las ventajas de los lenguajes visuales frente a los textuales. Este análisis se puede encontrar en [TD08].

• Autores: Tavera Romero, Carlos Andrés
• Fecha de publicación: 2010
• Institución: Universidad de San Buenaventura
• Repositorio: Repositorio USB
• Idioma: spa
• OAI Identifier: oai:bibliotecadigital.usb.edu.co:10819/185
• Acceso en línea: http://hdl.handle.net/10819/185
• Palabra clave: GraPiCO; PiCO; Cálculo visual; Programas; Lenguaje de Programación Visual; Cálculos computacionales; Compiladores; Desmostración de corrección
• License: http://purl.org/coar/access_right/c_abf2