PONTIFICIA UNIVERSIDAD CATOLICA DEL

ECUADOR

FACULTAD DE INGENIERIA

ESCUELA DE SISTEMAS

Compiladores e Intrpretes
INFORME DE KITS DE HERRAMIENTAS PARA LA
CONSTRUCCIN DE COMPILADORES.

Sofa Idrobo
Derix Gmez
Esteban Aristizabal

Quito, 17 de Febrero de 2015

Resumen
Al igual que cualquier desarrollador de software, el desarrollador de compiladores
puede utilizar para su beneficio los entornos de desarrollo de software modernos que
contienen herramientas como editores de lenguaje, depuradores, administradores de
versiones, profilers, ambientes seguros de prueba, etc.
Entre los kits ms usados tenemos a cocktail, Eli, Pcct.
Introduccin
Los mtodos y tcnicas de construccin de compiladores proporcionan una tecnologa
que permite la generacin de software con base en las especificaciones. Son aplicables
a una serie de problemas con un campo mucho ms amplio que el desarrollo de
compiladores para lenguajes de programacin: Procesadores de idiomas de entrada,
lenguajes de diseo, lenguajes de especificacin y lenguas intermedias en los
programas de aplicacin todas las soluciones a los problemas de demanda de
traduccin.
Con el uso de estos kits de herramientas para la construccin de compiladores se puede
generar
automticamente
implementaciones
de
lenguajes
completos
de
especificaciones de la aplicacin orientada. Las implementaciones pueden ser
interpretativa, utilizando las construcciones de la lengua de partida para invocar las
operaciones de un sistema existente, o pueden implicar la traduccin a un idioma de
destino arbitrario.
Objetivos
- Conocer ms acerca de los kits que existen para el desarrollo de compiladores
- Determinar cul es comnmente el kit ms usados, aprender cmo funciona,
- Probarlo y comprobar los resultados.
Desarrollo de los temas
Kits para la construccin de compiladores
Dentro de estas herramientas entran los kits de desarrollo de compiladores como por
ejemplo:
COKTAIL
Es un conjunto de generadores de programas o herramientas de construccin
compilador para casi todas las fases de un compilador.
Sus objetivos son una buena usabilidad prctica, esfuerzo de construccin reducido
para compiladores, y la alta calidad de los compiladores generados.
- Pueden generar mdulos de compilacin en los idiomas de C, C ++, Modula-2, o
Java

Se ejecuta en todas las variantes de Linux, Unix y Windows (9x, ME, NT, 2000,
XP, Vista, 7, 8).
- El nombre de COKTAIL significa COmpiler Compiler ToolkIt KArLsruhe.
Contiene las siguientes herramientas:
Rex

Generador de analizadores lxicos

Alondra LR (1) y LALR (2) generador de analizador con backtracking y predicados

Ana

LL (1) generador de analizadores sintcticos

Ast

generador de rboles de sintaxis abstracta

Ag

generador para los evaluadores de atributos

Puma

transformacin de rboles atribuidos utilizando coincidencia de patrones

En detalle estas herramientas permiten:

Rex (herramienta de expresin regular):

Es un generador de escneres o analizadores lxicos. Sus especificaciones se

basan en expresiones regulares y en las acciones semnticas arbitrarios escritos
en uno de los idiomas de ejecucin de C, C ++, Modula-2, o Java.
Alondra:

Es un generador de LR (1) y LALR (2) analizadores o analizadores

sintcticos. Acepta gramticas escritas en notacin BNF. Las gramticas pueden
aumentarse con acciones semnticas formulados como declaraciones del
lenguaje de implementacin. El generador de anlisis proporciona un mecanismo
para S-atribucin, que se sintetiza atributos pueden ser computados durante el
anlisis.
Ana:

Es un generador para LL (1) programas de anlisis o analizadores sintcticos. Se

acepta gramticas escritas en notacin BNF extendida. Los analizadores se
realizarn siguiendo el mtodo de descenso recursivo y corren muy rpido. Los
posibles idiomas de implementacin son C, C ++ o Modula-2.
Ast:

Es un generador de los mdulos del programa que definen la estructura de los

rboles de sintaxis abstracta y proporcionan los procedimientos de manipulacin
de rboles en general.
Ag:

Es un generador para los evaluadores de atributos. Procesa gramticas

ordenadas de atributos, bien definido gramticas de atributos, as como
gramticas de orden superior. Se orienta hacia los rboles de sintaxis abstracta.
Puma:
Es una herramienta de apoyo a la transformacin y manipulacin de rboles
atribuidos. Se basa en la coincidencia de patrones y procedimientos recursivos.

ELI
Combina una variedad de herramientas estndar para implementar potentes estrategias
en la construccin de compiladores.

Se pueden generar automticamente implementaciones de lenguajes completos

a partir de las especificaciones de la aplicacin.
Contiene libreras de especificaciones reusables.

PCCT
Escrito inicialmente en C++ para generar compiladores en C++.
- Portado a JAVA y llamado ANTLR.XX
- Consta de 3 herramientas:
ANTL generador de analizadores de sintcticos
DLG generador de analizadores lxicos
SORCERER generador de rboles sintcticos
Conclusiones y recomendaciones

Los kits de herramientas para la construccin de compiladores proporcionan un

conjunto integrado de rutinas para construir varias fases de un compilador.

Los kits de herramientas para la construccin de compiladores son el resultado

de una combinacin de una gran de herramientas estndar que implementan
potentes estrategias de construccin de compiladores en un entorno de
programacin.

Los Kits ofrecen modernas instalaciones de construccin de compiladores a los

usuarios y una amplia gama de sofisticacin.
Ofrece soluciones completas para sub-tareas de implementacin de idiomas y
contiene las bibliotecas de especificaciones reutilizables, lo que hace posible la
produccin de implementaciones de alta calidad a partir de descripciones de
problemas simples.

Bibliografa:

http://eli-project.sourceforge.net/
http://www.cocolab.com/cocktail.html
http://compiladores-interpretes.blogspot.com/2011/01/herramientas-generadoras-decompiladores.html
(Generacin de Software de Especificaciones, Compiladores e intrpretes, Escrito por
Gonzalo Snchez Dueas, Juan Antonio Valverde Andreu).
(Kastens, Gramticas en un compilador de Construccin Medio Ambiente '', Ciencias de
la Computacin 545, Springer Verlag, Nueva York-Heidelberg-Berln, 1991, 380-400).
(Sloane, AM Una evaluacin de un Generado automticamente Compiler).
(Kenneth C. Louden Construccin de Compiladores P.imprenta Ciencias e Ingenieras.
Buenos Aires. AR. 2005. 582 p.).
- (Alfred V. Compiladores, principios, tcnicas y herramientas, Addison Wesley
Iberoamercana, 1990).