Criterios de los lenguajes de programacion

Criterios de los lenguajes de programación
A lo largo de la historia han existido muchísimos lenguajes de programación. Gran cantidad han dejado de usarse, mientras que otros han evolucionado o sido incorporados en otros lenguajes.
Los criterios para considerar que un lenguaje tiene méritos fueron sugeridos por primera vez por Barbara Liskov en 1984, y están interrelacionados.
Descripcionesbien definidas.
BNF y EBNF
Backus-Naur Form (BNF) es un ejemplo de metalenguaje, un lenguaje utilizado para describir otro lenguaje. BNF tiene símbolos, llamados metasímbolos, y reglas propias empleadas para definir la sintaxis del lenguaje particular en cuestión.
Los metasímbolos que utiliza son los siguientes:
Metasímbolo
Significado
::-
Se define como
|
Alternativamente, o

sereemplaza por su definición
algo
Una palabra escrita en negritas se conoce como terminal o “token” que indica un elemento de lenguaje indivisible que no permite otros reemplazos.

BNF fue extendido de diversas manearas, generalmente conocidas como EBNF (Extended Backus-Naur Form). Los símbolos adicionales definidos por la ISO en su Estándar Revisado de Pascal de 1980 [ISO-DP7185, 1980] son lossiguientes:
Símbolo
Significado
[algo]
Ocurrencia de 0 o 1 de algo, es decir, opcional
(algo)
0 o más ocurrencias de algo
(esto | eso)
Agrupación, ya sea esto o eso

Semántica
Un lenguaje también debe estar definido semánticamente al describir de manera precisa lo que significa una construcción particular. Dos métodos matemáticos formales están siendo utilizados para describir la semánticade los lenguajes. El primero es axiomático (basado en el cálculo de predicado, declaraciones que son verdaderas o falsas) y el segundo denotacional (basado en la teoría de funciones; cada programa y procedimiento está asociado con una función -recursiva). Un tercer método semántico consiste en describir una máquina teórica y cómo es su funcionamiento.
Comprobabilidad
Probar con certezamatemática que un programa es correcto, involucrando tres pasos: la comprobación de que el programa cumple con la intención del programador, probar que el compilador traduce de manera correcta a código de máquina la sintaxis y la semántica del lenguaje empleado, y comprobar que la máquina misma funciona correctamente.
Confiabilidad
El software se considera confiable si se comporta como es anunciado yproduce los resultados que el usuario espera. Cuando se presenta un error, debería ser fácilmente detectado y corregido. Un lenguaje confiable debería ser capaz de manejar errores durante el tiempo de ejecución. Puede presentarse gran variedad de errores durante la entrada de datos, desde la lectura al pasar el final de un archivo hasta un valor no permitido introducido de manera interactiva. Estasclases de errores son llamadas "excepciones", y las provisiones del lenguaje para tratar con ellas son conocidas como "manejadores de excepción.
Traducción rápida
Un programa que escribimos se encuentra en código fuente. Éste debe ser traducido a un lenguaje que una máquina particular pueda reconocer, y por último en código de máquina que puede ejecutarse en realidad. La traducción del códigofuente involucra tres pasos: análisis lexicográfico (identificar cuáles tokens representan valores, identificadores, operadores, etc.), análisis sintáctico (reconocer las declaraciones válidas mientras que rechaza las no válidas del lenguaje fuente) y análisis semántico (determinar el significado de una declaración).
Código objeto eficiente
Después de que el código fuente se compila en códigoobjeto, no se hace referencia adicional al lenguaje fuente. En el tiempo de compilación, los asuntos de la eficiencia en el uso de memoria y tiempo de ejecución deben der considerados.
Algunos compiladores ejecutan uno o dos pasos más después del análisis semántico para incrementar la eficiencia del código compilado. Las primeras optimizaciones son independientes de la máquina, mientras que las...