Please enable JavaScript.
Coggle requires JavaScript to display documents.
Criterios en los Lenguajes de Programación - Coggle Diagram
Criterios en los Lenguajes de Programación
¿A qué serefiere?
La mayoría de los lenguajes de programación tienen descripciones bien definidas en manuales o documentos de especificación del propio lenguaje que describe sus características, sintaxis, uso y codificación del lenguaje
Formas
La Forma Backus-Naur (BNF) y la Forma Extendida Backus- Naur (EBNF) describen al lenguaje de manera más concisa en su sintaxis. Lo definen como un metalenguaje que contiene meta símbolos y reglas propias que se emplean para definir la sintaxis del propio lenguaje.
Semántica
Indica que los lenguajes deben de estar definidos de forma semántica y sintácticamente, describiendo de manera precisa lo que significa una construcción en particular. Se define la semántica axiomática (basada en el cálculo de predicados, corrobora que es claro y evidente) y en la semántica denotacional (identifica si es formal y objetivo, basada en la teoría de funciones).
Comprobación
Dado que los costos de sistemas de software, es necesario comprobar que los programas realicen el proceso o trabajo que les corresponde de forma completa y sin errores, comprobando el código, su traducción a lenguaje máquina y el entorno donde se desempeña.
Confiabilidad
El programa realiza todos los procesos necesarios para obtener la salida requerida, considera las entradas y devuelve un resultado coherente las veces que se utilice.
Traducción Rápida
Aunque muchos lenguajes fueron creados para ser independientes de la máquina, el tener a los compiladores adecuados para el hardware en donde se desea ejecutar un programa, el código que se programa es el mismo, lo que cambia es el traductor. La traducción del código involucra el análisis lexicográfico, el análisis sintáctico y el análisis semántico.
Código Objeto Eficiente
El código intermedio que generan los compiladores se conoce como objeto, es compilado por el ligador para crear el programa ejecutable, y para que sea eficiente el compilador debe ser eficiente en el trabajo de asignación de memoria, las localidades a emplear y cuidar los tipos de declaraciones.
Ortogonalidad
Se refiere a la independencia del lenguaje con respecto a sus características, dado que todas son independientes y se comportan de igual forma bajo cualquier circunstancia.
Generalidad
Lleva al lenguaje a tener solo las características necesarias que conduzcan a tener efectos previsibles a la hora de programar.
Consistencia
Se refiere al tener coherencia en las notaciones para declarar tipos de variables, en realizar las operaciones matemáticas con congruencia (como las operaciones aritméticas) y para declarar valores positivos o negativos según lo que se requiera.
Uniformidad
Nos indica que las nociones similares deben verse y comportarse de la misma manera.
Subconjuntos
Estos van generando nuevas versiones de un lenguaje que va creciendo de acuerdo a la funcionalidad y propiedades que se le van añadiendo.
Transportable
Se dice que un programa es transportable si se puede compilar y ejecutar en diferente hardware o máquinas sin necesidad de reescribir el código fuente, esto tiene que ver con los estándares en los lenguajes.