Conceptos
Correspondes al significado asociado a las estructuras formales del lenguaje.
Se realiza en tiempo de compilación
¿Cuando se realiza la verificación estática?
Es una estructura jerárquica
Se puede representar mediante un grafo
¿Como se representa una expresión de tipo?
Permite ser ejecutada con argumentos de diferentes tipos.
¿Que permite hacer una función polimorfica?
Generador de código
¿Quien es el analizador semántico?
Se realiza en tiempo de ejecución
Es una secuencia de tokens
¿Que es una expresión?
Sirven para tipas construcciones del lenguaje que tienen tipo construido
Es aquel en el que los tipos a los que se aplica el polimorfismo deben ser explícitos
¿Cual es el polimorfismo estático?
Es una extensión de la notación de Backus
¿Qué es la gramática de atributos?
Realiza un mismo procesamiento sobre elementos de distintos tipos
¿Que son las funciones polimórficas?
Puede ser un operando o bien un operador
¿Que es un tokens
Es el que tiene dos operando
¿Qué es un operador binario?
En este el código no incluye ningún tipo de especificación sobre el tipo de dato
¿Cual es el polimorfismo dinámico?
Introducir en las reglas sintácticas ciertos símbolos adicionales no sintácticos
¿Cuál es su función de la gramáticas de atributos?
El lenguaje brinda un operador que modifica el tipo de su operando
¿Que es la coacción de tipos?
Tienen diferentes operando
¿Que es un nodo?
Son los valores sobre los que actúa un operador
Es la tercera característica esencial de un lenguaje orientado a objetos, después de la abstracción de datos y la herencia
¿Que es el polimorfismo?
Las rutinas semánticas suelen hacer uso de una pila
¿Cómo funcionan los registros semánticos?
El operador cambia su significado dependiendo del contexto
¿Que es la sobrecarga de operadores?
Se utiliza para representar expresiones en memoria
¿Que son los arboles binarios?
Operadores aritméticos unarios
¿Que tipo de operadores son el positivo y el negativo?
Se define usando el cuantificador universal ∀
¿Cómo se define la expresión de tipo de una función polimórfica?