Criterios de lenguajes de programación
Páginas: 3 (646 palabras)
Publicado: 13 de abril de 2014
1. Descripciones bien definidas BNF y EBNF:
No hay ambigüedad ni en la sintaxis, ni en la semántica del LP. Existencia de especificaciones formales completas para la sintaxis y la semánticadel lenguaje.
BNF (Backus-Naur-Form)
Notación desarrollada por los especialistas Backus y Naur para definir lenguaje Algol60. Es un ejemplo de metalenguaje, un lenguaje utilizado para describirotro lenguaje, en este caso uno de programación.
Tiene símbolos, llamados metasímbolos, y reglas propias, las cuales son empleadas para definir la sintaxis del lenguaje particular de programación encuestión.
EBNF (Forma Extendida Backus-Naur-Form, por sus siglas en inglés)
Los símbolos adicionales por la Organización Internacional de Estándares (ISO). Para construcciones de lenguajes enseudocódigo.
2. Semántica:
La semántica de un lenguaje especifica el significado algorítmico de un programa y se define como un conjunto de reglas que describen el comportamiento de ese lenguaje entiempo de ejecución.
3. Comprobabilidad:
Probar con certeza matemática que un programa es correcto. Una meta para cualquier lenguaje de programación es probar que un compilador para el lenguajelo interprete de manera precisa.
La prueba de que un programa es correcto involucra tres pasos; Primero, la comprobación de que el programa cumple con la intención del programador; Segundo,probar que el compilador traduce de manera correcta a código de máquina la sintaxis y la semántica del lenguaje empleado; y tercero, comprobar que la máquina misma funciona correctamente.
4.Confiabilidad:
El software se considera confiable si se comporta como es anunciado y produce los resultados que el usuario espera. Cuando se presenta un error, debería ser fácilmente detectado y corregido.Un lenguaje de programación fomenta la escritura de programas confiables de maneras a menudo sutiles.
5. Traducción rápida:
Un lenguaje escrito en el lenguaje puede ser traducido y luego...
1. Descripciones bien definidas BNF y EBNF:
No hay ambigüedad ni en la sintaxis, ni en la semántica del LP. Existencia de especificaciones formales completas para la sintaxis y la semánticadel lenguaje.
BNF (Backus-Naur-Form)
Notación desarrollada por los especialistas Backus y Naur para definir lenguaje Algol60. Es un ejemplo de metalenguaje, un lenguaje utilizado para describirotro lenguaje, en este caso uno de programación.
Tiene símbolos, llamados metasímbolos, y reglas propias, las cuales son empleadas para definir la sintaxis del lenguaje particular de programación encuestión.
EBNF (Forma Extendida Backus-Naur-Form, por sus siglas en inglés)
Los símbolos adicionales por la Organización Internacional de Estándares (ISO). Para construcciones de lenguajes enseudocódigo.
2. Semántica:
La semántica de un lenguaje especifica el significado algorítmico de un programa y se define como un conjunto de reglas que describen el comportamiento de ese lenguaje entiempo de ejecución.
3. Comprobabilidad:
Probar con certeza matemática que un programa es correcto. Una meta para cualquier lenguaje de programación es probar que un compilador para el lenguajelo interprete de manera precisa.
La prueba de que un programa es correcto involucra tres pasos; Primero, la comprobación de que el programa cumple con la intención del programador; Segundo,probar que el compilador traduce de manera correcta a código de máquina la sintaxis y la semántica del lenguaje empleado; y tercero, comprobar que la máquina misma funciona correctamente.
4.Confiabilidad:
El software se considera confiable si se comporta como es anunciado y produce los resultados que el usuario espera. Cuando se presenta un error, debería ser fácilmente detectado y corregido.Un lenguaje de programación fomenta la escritura de programas confiables de maneras a menudo sutiles.
5. Traducción rápida:
Un lenguaje escrito en el lenguaje puede ser traducido y luego...
Leer documento completo
Regístrate para leer el documento completo.