7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados
1/4
Caractersticas de los lenguajes de
programacin
I. Descripciones bien definidasA. BNF y EBNF
BNF: La sintaxis del lenguaje esta descrita en la forma Backus-
Naur Form, es un ejemplo de un metalenguaje, un lenguaje
utilizado para describir otro lenguaje, tiene smbolos, llamados
metasimbolos, y reglas propias, las cuales son empleadas para
definir la sintaxis del lenguaje particular de programacin.
EBNF: Forma Extendida Backus-Naur, los smbolos adicionales
definidos por la Organizacin Internacional de Estndares
B. Semntica
Un lenguaje tambin debe estar definido semnticamente al
describir de manera precisa lo que significa una construccin
particular, el lenguaje natural es notoriamente ambiguo, de manera
que se hacen esfuerzos para describir formalmente la semntica
del lenguaje as como tambin la sintaxis.
II. Comprobabilidad
7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados
2/4
A. Probar con certeza matemtica que un programa es
correcto es un proceso lento, sin embargo C.A.R Hoare
cree que las ventajas practicas de la comprobacin de
programas eventualmente se sobrepondrn a las
dificultades, en vista de los costos crecientes de loserrores de programacin . La prueba de que un
programa es correcto involucra tres pasos: primero la
comprobacin de que el programa cumple con la
intencin del programador; segundo probar que el
compilador traduce de manera correcta a cdigo de
maquina la sintaxis y la semntica del lenguaje
empleado; tercero comprobar que la maquina mismafunciona correctamente
III. Confiabilidad
A. El software se considera confiable si se comporta como
es anunciado y produce los resultados que el usuario
espera, cuando se presenta un error, debera ser
fcilmente detectado y corregido, un lenguaje deprogramacin fomenta la escritura de programas
confiables de maneras a menudo sutiles.
IV. Traduccin rpida
A. Los lenguajes de programacin que consideraremos en
este texto son generalmente independientes de la
maquina, un programa escrito en el lenguaje puede sertraducido y luego ejecutado en una variedad de maquinas
diferentes.
V. Cdigo objeto eficiente
7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados
3/4
A. Despus de que el cdigo fuente se compila en cdigo
objeto, no se hace referencia adicional al lenguaje fuente,
as es en tiempo de compilacin que los asuntos de la
eficiencia en el uso de memoria y tiempo de ejecucin
deben ser considerados.
VI. Ortogonalidad
A. La palabra ortagonal viene del griego y se refiere a lineas
rectas cruzndose en ngulos rectos. las variables
aleatorias se consideran ortogonales si son
independientes entre si, es en este sentido de
independencia que las caractersticas del lenguaje puedenconsiderarse ortogonales.
VII. Generalidad
A. La generalidad esta relacionada con la ortogonalidad, se
refiere a la existencia de solo las caractersticas
necesarias del lenguaje, con las otras compuestas en una
manera libre y uniforme sin limitacin y con efectosprevisibles,
VIII. Consistencia y notaciones comunes
A. Los problemas para solucin por computadora con
frecuencia son concebidos en el lenguaje de las
matemticas, de este modo la notacin de los lenguajes
de programacin debera ser consistente con lasnotaciones conmunmente usadas en este campo.
IX. Uniformidad
A. La consistencia esta relacionada con la uniformidad, con
esto queremos decir que nociones similares deberanverse y comportarse de la misma manera, una cuestin de
uniformidad tiene que ver con la necesidad de tenerinicios y finales.
7/31/2019 Caracteristicas de Los Lenguajes de Programacion - Lenguajes Comparados
4/4
X. Subconjuntos
A. Un subconjunto de un lenguaje es una implementacin de
solo una parte del mismo sin caractersticas especiales.
XI. Extensibilidad
A. El inverso de los subconjuntos es la extensibilidad, un
lenguaje puede tener un ncleo estndar, el cual es
invariable en cada implementacin, pero con varias
extensiones, las ventajas de los subconjuntos son
mejoradas cuando un lenguaje puede ser extendido en
formas utiles.
XII. Transportabilidad
A. Un lenguaje es transportable si sus programas pueden
compilarse y ejecutarse en diferentes maquinas sin tener
que rescribir el cdigo fuente.
Top Related