UNA FORMALIZACIÓN DE LA SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACION

• Autores: Pilar Clara Espinosa Soteras, Alejandro Garcés Calvelo, Magali Matilla Belett
• Localización: Ingeniería informática, ISSN-e 0717-4195, Nº. 9, 2003
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • La mayoría de las implementaciones de lenguajes de programación, a partir de especificaciones formales, se basan en el enfoque operacional, el cual por su naturaleza algorítmica está muy cercano al desarrollo de prototipos. Sin embargo, este método de definición, incorpora una gran cantidad de detalles irrelevantes, lo cual lo hace inapropiado para la demostración de propiedades de programas.

    En este trabajo, se presenta un método matemático para la definición de la semántica de los lenguajes de programación, el cual es a la vez abstracto y cercano a la práctica de la programación. Esta estrategia extiende una variante denotacional introducida por Iriarte, incorporando sistemas algebraicos para la especificación de las abstracciones de datos.