1. Variables
1.1. Nombre
1.1.1. Cadena de caracteres para reconocer alguna entidad del programa
1.1.2. Palabras Especiales
1.1.2.1. Palabras reservadas utilizadas por el lenguaje de programación o nombres predefinidos
1.1.3. Palabras Clave
1.1.3.1. Sólo son palabras especiales en determinados contextos
1.2. Dirección
1.2.1. Dirección de memoria a la que esta asociado una variable, un mismo nombre puede tener diferentes direcciones en varias partes del programa
1.2.2. Obtener dirección de memoria &nombre de variable
1.3. Valor
1.3.1. Valor que se almacena en el espacio asignado de memoria
1.4. Tipo
1.4.1. Determina el rango de valores que puede tomar la variable y el conjunto de operaciones definidas para los valores del tipo
1.5. Tiempo de vida
1.6. Ámbito
2. Ligaduras
2.1. Asociación entre atributo y una entidad
2.2. Tiempo de ligadura
2.2.1. Momento en el que se produce la asociación
2.2.2. Tiempo de compilación
2.2.3. Tiempo de linkado
2.2.4. Tiempo de ejecución
2.2.5. Tiempo de carga
2.3. Ligadura Estática
2.3.1. Si ocurre antes del tiempo de ejecución y permanece inalterable durante la ejecución del programa
2.4. Ligadura Dinámica
2.4.1. Si ocurre durante del tiempo de ejecución o puede cambiar en el transcurso de la ejecución del programa
2.5. Ligaduras de tipos
2.5.1. Ligadura estática de tipos
2.5.2. Ligadura dinámica de tipos
2.6. Ligadura de espacio y tiempo de vida
2.6.1. Variables estáticas
2.6.2. Variables dinámicas de pila
2.6.3. Variables dinámicas de montón (heap)
2.6.3.1. Explícitas
2.6.3.2. Implícitas
3. Inicialización de variables
3.1. Inicialización
3.1.1. Ligadura de un valor a una variable
3.1.2. Variables estáticas
3.1.2.1. La inicialización solo se da una vez
3.1.3. Variables con ligadura dinámica de espacio
3.1.3.1. Es una inicialización dinámica
4. REALIZADO POR: Angel Morocho Salinas
5. Tipos
5.1. Comprobación de tipos
5.1.1. Generalización de los conceptos de operandos y operadores
5.1.1.1. Subprogramas → operadores cuyos operandos son sus parámetros
5.1.1.2. Asignación → operador binario cuyos operandos son la variable a la que se asigna el valor y la expresión a evaluar
5.1.2. Tipos compatibles
5.1.2.1. Coacción
5.1.2.1.1. Un tipo legal para el operador puede ser convertido implícitamente mediante código generado por el compilador
5.1.3. Error de tipos:
5.1.3.1. Aplicación de un operador a un operando de tipo inapropiado
5.2. Disciplina de tipos (strong typing)
5.2.1. Un lenguaje tiene disciplina de tipos si los errores de tipos se detectan siempre
5.3. Compatibilidad de tipos
5.3.1. Compatibilidad de tipos estructural
5.3.1.1. Dos variables tienen tipos compatibles si sus tipos tienen la misma estructura
5.3.2. Compatibilidad de tipos nominal
5.3.2.1. Dos variables tienen tipos compatibles si están ligadas al mismo nombre de tipo
5.3.3. Subtipo
5.3.3.1. Versión de un tipo existente con el que es compatible.
5.3.4. Tipo derivado
5.3.4.1. Nuevo tipo basado en algún otro previamente definido con el que es incompatible, aunque sean estructuralmente idénticos.
6. Ámbito
6.1. Rango de sentencias en las que es visible la variable
6.2. Una variable es local en una unidad de programa o bloque si está declarada en él.
6.3. Ámbito estático
6.3.1. Método de ligadura de nombres a variables no locales que ocurre en tiempo de compilación
6.3.2. Una declaración de una variable oculta cualquier declaración de otra variable con el mismo nombre
6.3.3. Evaluación del ámbito estático
6.3.3.1. Proporciona un método de acceso a variables no locales adecuado en la mayoría de los casos
6.4. Ámbito dinámico
6.4.1. Basado en la secuencia de llamadas a subprogramas y no en la relación sintáctica
6.4.2. Padre dinámico, el subprograma que realizó la llamada.
6.4.3. Evaluación del ámbito dinámico
6.4.3.1. Una sentencia que contiene una referencia a una variable no local puede relacionarse con variables diferentes al momento de la ejecución
6.5. Entorno de referencia
6.5.1. Colección de todos los identificadores visibles en dicha sentencia
6.5.2. Lenguajes con ámbito estático
6.5.3. Lenguajes con ámbito dinámico