• Author / Uploaded
• Gustavo Rodriguez Vargas

Citation preview

SUBDISCIPLINAS DE LA TEORIA DE LENGUAJES

TEORÍA DE LOS COMPILADORES SON

Programas que traducen un programa escrito en un lenguaje a otra forma ACCIONES DE UN COMPILADOR Análisis Sintactico Generación de Código Análisis Semántico Optimización

TEORÍA DE TIPOS ES

Estudio de Sistemas de Tipos Métodos sintácticos para proveer la ausencia de ciertos comportamientos de un programa mediante la clasificación de frases según los tipos de valores que computan.

Bertrand Russell inventó la primera teoría de tipos

SEMÁNTICA FORMAL ES

Es el estudio de las interpretaciones de los lenguajes formales. Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas

TRANSFORMACION DE PROGRAMAS

SISTEMAS EN TIEMPO DE EJECUCION

ES

El proceso de transformar un programa de un lenguaje a otro

Las técnicas de plegadodesplegado ("foldingunfolding"), formuladas por Burtall y Darlington, son las mejor estudiadas en el contexto de la transformación de programas

Se refiere al desarrollo de entornos runtime para lenguajes de programación y sus componentes

- Alivia los programadores de la carga de la escritura de código - Proporciona una capa de abstracción que oculta la complejidad en los servicios que ofrece el sistema operativo

ANÁLISIS COMPARATIVO EN LENGUAJES DE PROGRAMACIÓN

Busca clasificar los lenguajes de programación en diferentes tipos basados en sus características

LA META PROGRAMACION ES

la generación de programas de mayor orden que, cuando se ejecutan, producen programas como resultado EJEMPLO #!/bin/bash # metaprogram echo '#!/bin/bash' >program for ((I=1; I>program done chmod +x program

LENGUAJES DEDICADOS SON

Lenguajes construidos para resolver problemas en un dominio de problemas en particular de manera eficiente