Download.php

Análisis Semántico y Chequeo de Tipos

Resumen ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

¿Dónde estamos? Oscar Bonilla Universidad Galileo Analizador Léxico (Scanner ) Analizador Sintáctico (Parser ) Arbol de Parseo Token Stream Programa (character stream)

¿Dónde estamos? Oscar Bonilla Universidad Galileo Analizador Léxico (Scanner) Analizador Sintáctico (Parser) Arbol de Parseo Analizador Semántico Generador de Código Intermedio Representación Intermedia + Tabla de Símbolos Token Stream Programa (character stream)

¿Qué es la semántica de un programa? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Por qué hacer análisis semántico ,[object Object],[object Object],Oscar Bonilla Universidad Galileo

Tabla de Símbolos ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Scope ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Operaciones en la tabla de símbolos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Siguiente Clase ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Chequeo Semántico ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Chequeos de Control de Flujo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Chequeos de Unicidad ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Chequeos de Tipo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Chequeos Dinámicos ,[object Object],[object Object],Oscar Bonilla Universidad Galileo

Sistemas de Tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipos ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipos: Tipos Básicos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipo: Nombres ,[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipo: Productos ,[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipo: Arrays ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipo: Function Calls ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Expresiones de Tipo: Otras ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Un lenguaje simple con tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Un lenguaje simple con tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Acciones del Parser ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Acciones del Parser ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Acciones del Parser ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo 24

Equivalencia de Tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Equivalencia Estructural ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Coerción de Tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Widening conversions ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Narrowing conversions ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Type casting ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Pregunta: ,[object Object],[object Object],Oscar Bonilla Universidad Galileo

Overloading ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Clases ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Clase Ejemplo ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo vehicle A; A.print_num_wheels( ) campo método ,[object Object]

Herencia ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Ejemplo de Herencia ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Jerarquía de Herencia ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Jerarquía de Herencia ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo vehicle SUV car motorbike 4wd 2wd 4-door 2-door 5-door

Reglas de Control de Acceso ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Visibilidad en Scope ,[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Acceso a Datos ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Acceso a métodos públicos ,[object Object],Oscar Bonilla Universidad Galileo

Acceso a métodos privados ,[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Ejemplo: control de acceso de C++ ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Conversión automática de tipos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Métodos Estáticos vs. Dinámicos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Herencia vs. Agregación ,[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Ejemplo: Herencia vs. Agregación ,[object Object],[object Object],Oscar Bonilla Universidad Galileo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Herencia múltiple ,[object Object],[object Object],Oscar Bonilla Universidad Galileo

Ejemplo de Herencia Múltiple ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Jerarquía de Herencia Múltiple ,[object Object],[object Object],Oscar Bonilla Universidad Galileo vehicle SUV car motorbike 4wd 2wd 4-door 2-door 5-door toys yuppie_toy teen_toy

Jerarquía de Herencia Múltiple ,[object Object],[object Object],Oscar Bonilla Universidad Galileo vehicle SUV car motorbike 4wd 2wd 4-door 2-door 5-door toys yuppie_toy teen_toy big_ticket_items

¿Qué es un tipo polimórfico? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Polimorfismo Paramétrico ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Lecturas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Oscar Bonilla Universidad Galileo

Download.php

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Destacado

Destacado (7)

Similar a Download.php

Similar a Download.php (20)

Último

Último (20)

Download.php