agcc: un generador de procesadores de lenguajes basado en gramáticas de atributos

Abstract

Este trabajo describe una herramienta de generación procesadores de lenguaje basados en gramáticas de atributos para la familia de bien definidas (well defined atribute gramars) las cuales imposibilitan la derivación de árboles sintácticos con dependencias circulares entre las instancias de sus atributos. La herramienta desarrollada, denominada agcc, genera todos los componentes necesarios de un procesador de lenguajes análisis léxico, sintáctico y evaluación de atributos a partir de una especificación de una gramática de atributos. El diseño modular de agcc permite su extensión o adaptación para generar código en diferentes lenguajes de programación y para diferentes herramientas e incluir otros mecanismos o estrategias de evaluación de atributos. agcc contiene dos algoritmos de evaluación de atributos, uno bajo demanda y otro basado en secuencias de visita, ambos desarrollados por los autores de este trabajo. Hasta el momento no se conocen otras herramientas con los objetivos y con el soporte de la familia mencionada que tiene agcc