stringtranslate.com

Teoría de lenguajes de programación

La letra griega minúscula λ ( lambda ) es un símbolo no oficial del campo de la teoría de lenguajes de programación. [ cita requerida ] Este uso deriva del cálculo lambda , un modelo de computación introducido por Alonzo Church en la década de 1930 y ampliamente utilizado por los investigadores de lenguajes de programación. Adorna la portada [1] del texto clásico Estructura e interpretación de programas informáticos , y el título de los llamados Documentos Lambda de 1975 a 1980, escritos por Gerald Jay Sussman y Guy Steele , los desarrolladores del lenguaje de programación Scheme . [ jerga ]

La teoría de lenguajes de programación ( PLT ) es una rama de la informática que se ocupa del diseño, implementación, análisis, caracterización y clasificación de lenguajes formales conocidos como lenguajes de programación . La teoría de lenguajes de programación está estrechamente relacionada con otros campos, como las matemáticas , la ingeniería de software y la lingüística . Hay una serie de conferencias y revistas académicas en el área.

Historia

En cierto modo, la historia de la teoría de los lenguajes de programación es anterior incluso al desarrollo de los propios lenguajes de programación. El cálculo lambda , desarrollado por Alonzo Church y Stephen Cole Kleene en la década de 1930, es considerado por algunos como el primer lenguaje de programación del mundo, a pesar de que estaba destinado a modelar la computación en lugar de ser un medio para que los programadores describieran algoritmos para un sistema informático. Muchos lenguajes de programación funcional modernos han sido descritos como si proporcionaran una "capa fina" sobre el cálculo lambda, [2] y muchos se describen fácilmente en términos de él.

El primer lenguaje de programación que se inventó fue Plankalkül , que fue diseñado por Konrad Zuse en la década de 1940, pero no se conoció públicamente hasta 1972 (y no se implementó hasta 1998). El primer lenguaje de programación de alto nivel ampliamente conocido y exitoso fue FORTRAN (siglas de Formula Translation), desarrollado entre 1954 y 1957 por un equipo de investigadores de IBM dirigido por John Backus . El éxito de FORTRAN llevó a la formación de un comité de científicos para desarrollar un lenguaje informático "universal"; el resultado de su esfuerzo fue ALGOL 58. Por otra parte, John McCarthy del MIT desarrolló Lisp , el primer lenguaje con orígenes en el ámbito académico que tuvo éxito. Con el éxito de estos esfuerzos iniciales, los lenguajes de programación se convirtieron en un tema activo de investigación en la década de 1960 y más allá.

Cronología

Algunos otros eventos clave en la historia de la teoría del lenguaje de programación desde entonces:

Década de 1950
Década de 1960
Década de 1970
Década de 1980
Década de 1990

Subdisciplinas y campos relacionados

Existen varios campos de estudio que se encuentran dentro de la teoría de los lenguajes de programación o que tienen una profunda influencia en ella; muchos de ellos tienen una superposición considerable. Además, PLT hace uso de muchas otras ramas de las matemáticas , incluidas la teoría de la computabilidad , la teoría de categorías y la teoría de conjuntos .

Semántica formal

La semántica formal es la especificación formal del comportamiento de los programas informáticos y los lenguajes de programación. Tres enfoques comunes para describir la semántica o el "significado" de un programa informático son la semántica denotacional , la semántica operacional y la semántica axiomática .

Teoría de tipos

La teoría de tipos es el estudio de los sistemas de tipos , que son "un método sintáctico manejable para demostrar la ausencia de ciertos comportamientos del programa clasificando frases según los tipos de valores que calculan". [4] Muchos lenguajes de programación se distinguen por las características de sus sistemas de tipos.

Análisis y transformación de programas

El análisis de programas es el problema general de examinar un programa y determinar las características clave (como la ausencia de clases de errores de programa ). La transformación de programas es el proceso de transformar un programa de una forma (lenguaje) a otra forma.

Análisis comparativo de lenguajes de programación

El análisis comparativo de lenguajes de programación busca clasificar los lenguajes de programación en diferentes tipos según sus características; las categorías amplias de lenguajes de programación a menudo se conocen como paradigmas de programación .

Programación genérica y metaprogramación

La metaprogramación es la generación de programas de orden superior que, cuando se ejecutan, producen programas (posiblemente en un lenguaje diferente o en un subconjunto del lenguaje original) como resultado.

Lenguajes específicos de dominio

Los lenguajes específicos de dominio son lenguajes construidos para resolver eficientemente problemas de una parte particular del dominio.

Construcción del compilador

La teoría de compiladores es la teoría de la escritura de compiladores (o, de manera más general, traductores ); programas que traducen un programa escrito en un lenguaje a otro formato. Las acciones de un compilador se dividen tradicionalmente en análisis sintáctico ( escaneo y análisis sintáctico ), análisis semántico (determinación de lo que debería hacer un programa), optimización (mejora del rendimiento de un programa según lo indicado por alguna métrica; típicamente la velocidad de ejecución) y generación de código (generación y salida de un programa equivalente en algún lenguaje de destino; a menudo el conjunto de instrucciones de una CPU).

Sistemas de tiempo de ejecución

Los sistemas de tiempo de ejecución se refieren al desarrollo de entornos de ejecución de lenguajes de programación y sus componentes, incluidas máquinas virtuales , recolección de basura e interfaces de funciones externas .

Revistas, publicaciones y congresos

Los congresos son el principal foro para presentar investigaciones sobre lenguajes de programación. Entre los congresos más conocidos se encuentran el Simposio sobre Principios de Lenguajes de Programación (POPL), el Diseño e Implementación de Lenguajes de Programación (PLDI), la Conferencia Internacional sobre Programación Funcional (ICFP), la Conferencia Internacional sobre Programación Orientada a Objetos, Sistemas, Lenguajes y Aplicaciones (OOPSLA) y la Conferencia Internacional sobre Soporte Arquitectónico para Lenguajes de Programación y Sistemas Operativos (ASPLOS) .

Entre las revistas destacadas que publican investigaciones sobre PLT se incluyen ACM Transactions on Programming Languages ​​and Systems (TOPLAS), Journal of Functional Programming (JFP), Journal of Functional and Logic Programming y Higher-Order and Symbolic Computation .

Véase también

Referencias

  1. ^ Abelson, Harold (1996). Estructura e interpretación de programas informáticos. Gerald Jay Sussman, Julie Sussman (2.ª ed.). Cambridge, Mass.: MIT Press. ISBN 0-262-01153-0.OCLC 34576857  .
  2. ^ "Modelos de computación". wiki.c2.com . 3 de diciembre de 2014. Archivado desde el original el 30 de noviembre de 2020.
  3. ^ C. Böhm y W. Gross (1996). Introducción al CUCH. En ER Caianiello (ed.), Teoría de los autómatas , p. 35-64/
  4. ^ Benjamin C. Pierce. 2002. Tipos y lenguajes de programación. MIT Press, Cambridge, Massachusetts, EE. UU.

Lectura adicional

Enlaces externos