Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

COMPROBACIÓN DE TIPOS

COMPROBACIÓN DE TIPOS
by

juan carvajal

on 1 November 2012

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of COMPROBACIÓN DE TIPOS

photo credit Nasa / Goddard Space Flight Center / Reto Stöckli JUAN CARLOS JAVELA GONZALEZ
JUAN FELIPE CARVAJAL COMPROBACIÓN DE TIPOS INTRODUCCION Un compilador debe comprobar si el programa fuente sigue tanto las convenciones sintácticas como la semánticas del lenguaje fuente. Esta comprobación llamada comprobación estática (para distinguirla de la comprobación dinámica que se realiza durante la ejecución del programa), garantiza la detección y comunicación de lagunas clases de errores de programación. COMPROBADOR DE TIPOS Un comprobador de tipos se asegura de que el tipo de una construccion coincida con el previsto en su contexto. Por ejemplo el Operador aritmético predefinido mod en Pascal exige operandos de tipo enteros, de modo que un comprobador de tipo debe asegurarse de que los operandos de mod tengan tipo entero. SISTEMAS DE TIPOS Un sistema de tipos define como un lenguaje de programacion clasifica los valores y las expresiones en tipos, como se pueden manipular estos tipos y como interactuan.

CONSTRUCTOR DE TIPOS Es una expresion de tipo. Los constructores incluyen matrices.
Matrices: Se denomina matriz a todo conjunto de números o expresiones dispuestos en forma rectangular, formando filas y columnas.
Productos: Si T1 y T2 son expresiones de tipo, entonces su producto carteziano T1 x T2 es una expresion de tipo. Se supone de que x es asociativa.
Registros: La diferecia entre un registro y un producto es que los campos del registro tienen nombre.
Apuntadores: Si T es una expresion de tipo, entonces pointer(T) es un expresion de tipo que indica el tipo "apuntador a un objeto de tipo T" por ejemplo en Pascal la declaracion.
Funciones: Matemáticamente una funcion transforma elementos de un conjunto, el dominio, a elementos de otro conjunto, el rango. Se puede considerar las funciones dentro de los lenguajes de programación como transformación de un dominio tipo D a un rango tipo R. TIPO INDICA UN CONJUNTO DE VALORES QUE TIENE EL MIMSO SIGNIFICADO GENÉRICO O PROPÓSITO. SISTEMAS DE TIPO Un sistema de tipo es una serie de reglas para asignar expresiones de tipos a las distintas partes de un programa. COMPROBACION ESTATICA Y DINAMICA Se dice que la comprobación realizada por un compilador es estatica mientras que la comprobación hecha al ejecutar el programa objeto se denomina diamica.

Nota: Compilación Estática = en tiempo de compilación
Compilación Dinámica = en tiempo de ejecución COMPROBADOR DE TIPO SENCILLO El comprobador de tipo es un esquema de traducción que sintetiza el tipo de cada expresion a partir de los tipos de subexpresiones. El comprobador de tipos puede manejar matrices, apuntadores, proposiciones y funciones.
Nota:
Proposiciones: La proposición se define como una oración declarativa que puede ser verdadera (V,1) o falsa (F,0).
Funciones:, una función es un grupo de instrucciones con un objetivo en particular y que se ejecuta al ser llamada desde otra función o procedimiento. Una función puede llamarse múltiples veces e incluso llamarse a sí misma (función recurrente). EQUIVALENCIA DE EXPRESIONES DE TIPOS CONVERSORES DE TIPOS x + i
x = real
i = entero

i entareal real +

Nota:
Coerciones: las conversiones de tipo implícitas (explicitas).

CONCLUSIONES. BIBLIOGRAFIA
Alfred V Aho, R. S. (1998). COMPILADORES Principios, Tecnicas y Herramientas. Mexico: pearson .

La comprobación de tipos, una e la funciones mas importantes de compilador ya que debe informar de un error si se aplican un operador o un operando incompatible.
Full transcript