InterfLan : Interface Language

Abstract

El trabajo consiste en la definición de un lenguaje declarativo para especificar interfaces de programas en la forma de formularios. El lenguaje cubre las construcciones más frecuentes en un formulario y contempla algunas construcciones interesantes y no habituales, como tipos dependientes de elementos o restricciones sobre los campos que van desde predicados que deben satisfacer los valores de entrada hasta relaciones entre los campos que permiten determinar el valor de unos a partir del valor de otros. Luego de un breve análisis de algunas de las herramientas actualmente disponibles, se describen las principales construcciones del lenguaje Interflan, ilustrando las mismas a través de ejemplos. La definición del lenguaje incluye su sintaxis y un cálculo de tipos para el mismo. En resumen, el problema planteado es relevante y de inmediata aplicación en el dominio de la programación actual, el lenguaje desarrollado tiene potencial, y tanto el diseño de la sintaxis como las condiciones estáticas de validez del mismo cumplen con los objetivos planteados.