Diseño de compiladores Recordando la clase anterior
|
|
- María Soledad Blanca Quintero San Segundo
- hace 5 años
- Vistas:
Transcripción
1 Diseño de compiladores Recordando la clase anterior Control de Tipos public class Clase1 implements Interfaz1 private string entero1; void metodo1() int[] x = new string; x[5] = entero1 * y; void metodo1() Tipo de datos equivocado public class Clase1 implements Interfaz1 private string entero1; void metodo1() int[] x = new string; x[5] = entero1 * y; void metodo1() Variable no declarada (y) No podemos multiplicar strings int fibonacci(int n) return metodo1() + fibonacci(n 1); int fibonacci(int n) return metodo1() + fibonacci(n 1); public class Clase1 implements Interfaz1 private string entero1; Que es un tipo? void metodo1() int[] x = new string; x[5] = entero1 * y; void metodo1() int fibonacci(int n) return metodo1() + fibonacci(n 1); No podemos sumar void La noción de tipo varia de lenguaje en lenguaje Hay cierto consenso en que: Es un conjunto de valores Es un conjunto de operaciones sobre esos valores Los errores de tipos ocurren cuando se realizan operaciones sobre valores que no soportan dichas operaciones 1
2 Chequeo de tipos Chequeo estático Analizamos el programa en tiempo de compilación para probar que no hay errores de tipo Idea: No dejar que pasen cosas malas en runtime Chequeo dinámico Chequeamos las operaciones en runtime, antes de hacerlas Mas preciso que el control estático, pero menos performante Sin control de tipos Mucha suerte! Sistemas de tipos Las reglas que determinan las operaciones permitidas en tipos, forman un sistema de tipos Sistemas fuertemente tipados NUNCA permiten un error de tipos Java, Phyton, Javascript, LISP, Haskell, etc. Sistemas débilmente tipados PERMITEN errores de tipos en runtime C, C++ Cual es mejor? Control de tipos (estático) Es un debate sin fin Los sistemas dinámicos facilitan la prototipación, mientras que los sistemas estáticos suelen tener menos fallas Los lenguajes fuertemente tipados son mas robustos, los lenguajes débilmente tipados, son mas rápidos En general implica 2 pasos Inferir los tipos de datos de las expresiones a partir de los tipos de datos de los componentes de las mismas Confirmar que los tipos de datos de las expresiones concuerdan con lo que se espera en ciertos contextos Conceptualmente son dos pasos diferentes, aunque suelen realizarse a la vez Ejemplo Ejemplo while (shiftbits(x + 5) <= 10) if ( ) while (shiftbits(x + 5) <= 10) if ( ) while (5 == null) while (5 == null) La expresión esta bien en termino de tipos Pero el tipo de la expresión no permite usarla en donde esta usada 2
3 Ejemplo while (shiftbits(x + 5) <= 10) if ( ) while (5 == null) La expresión tiene un error de tipos + + INT INT INT INT INT INT
4 = x Identificador = y Identificador true BoolConstant = = x Identificador = x Identificador = y Identificador true BoolConstant y Identificador true BoolConstant Reglas de inferencia Si x es un identificador que refiere a un objeto que tiene tipo T, entonces la expresión x tiene tipo T Si e es una constante entera, entonces e tiene tipo INT Si los operandos e1 y e2 de la expresión e1+e2 tienen tipos INT, entonces la expresión e1+e2 tiene tipo INT Control de tipos, como pruebas Podemos pensar el control de tipos, como la verificación de afirmaciones acerca de los tipos de las expresiones Comenzamos con un conjunto de axiomas a los que luego aplicamos reglas de inferencia para determinar el tipo de las expresiones Un sistema de tipos puede pensarse como un sistema de pruebas 4
5 Notación formal / Sistemas de tipos Esto se especifica con la siguiente sintaxis: Precondiciones PostCondiciones Esto se lee así: Si las precondiciones son verdaderas, podemos inferir las postcondiciones Notación formal / Sistemas de tipos Escribimos: e : T Si la expresión e tiene tipo T El símbolo significa Podemos inferir que Axiomas Algunas reglas de inferencia i es una constante INT s es una constante STRING i : INT s : STRING true : bool false : bool d es una constante DOUBLE d : DOUBLE Algunas reglas mas complejas Algunas reglas mas complejas Si podemos mostrar que e1 y e2 tienen tipo INT e1 : INT e2 : INT e1 : DOUBLE e2 : DOUBLE e1 : INT e2 : INT e1 : DOUBLE e2 : DOUBLE e1 + e2 : INT e1 + e2 : DOUBLE e1 + e2 : INT e1 + e2 : DOUBLE 5
6 Algunas reglas mas complejas Mas complicado todavía e1 : INT e2 : INT e1 : DOUBLE e2 : DOUBLE e1 : T e2 : T e1 : T e2 : T e1 + e2 : INT e1 + e2 : DOUBLE e1 == e2 : e1!= e2 : Entonces podemos afirmar que e1+e2 también tiene tipo INT Por que especificar así? Provee una definición rigurosa de los tipos de datos, independiente de cualquier implementación de compilador Flexibiliza la implementación Podemos implementar como queramos, siempre que respetemos las reglas Permite verificación formal de propiedades Permite realizar pruebas inductivas en la estructura del programa Un problema x:??? Un problema x:??? Como sabemos el tipo de x, si no sabemos a que referencia? if (x == 1.5) 6
7 if (x == 1.5) if (x == 1.5) x : int if (x == 1.5) if (x == 1.5) d es una constante double d: double x : int x : int 1.5 : double if (x == 1.5) if (x == 1.5) 7
8 e1 : T e2 : T e1 == e2 : x : int 1.5 : double x : int 1.5 : double if (x == 1.5) if (x == 1.5) e1 : T e2 : T e1 == e2 : e1 : T e2 : T e1 == e2 : x : int 1.5 : double x : int 1.5 : double if (x == 1.5) x == 1.5 : bool if (x == 1.5) x == 1.5 : bool Problema En el ejemplo anterior, no podemos llegar a inferir que x == 1.5 tiene tipo booleano, ya que tenemos hechos contradictorios para x Los hechos no tienen contexto Debemos reforzar los hechos, para indicar bajo que circunstancias son correctos Escribimos: Agregamos el scope S e : T Si en el scope S, la expresión e tiene tipo T Los tipos ahora son verificados según el scope en el que se encuentran 8
9 S true : S false : La regla correcta seria i es una constante INT s es una constante STRING S i : INT d es una constante DOUBLE S d : DOUBLE S s : STRING x es una variable en scope S con tipo T S x : T S e1 : DOUBLE S e2 : DOUBLE S e1 + e2 : DOUBLE S e1 : INT S e2 : INT S e1 + e2 : INT La regla correcta seria Reglas para funciones x es una variable en scope S con tipo T S x : T S f(e1,e2,,en) :? Reglas para funciones Reglas para funciones f es un identificador f es un identificador f es una función en el scope S S f(e1,e2,,en) :? S f(e1,e2,,en) :? 9
10 Reglas para funciones Reglas para funciones f es un identificador f es una función en el scope S f tiene tipo (T1,T2,,Tn) U S f(e1,e2,,en) :? f es un identificador f es una función en el scope S f tiene tipo (T1,T2,,Tn) U S ei : Ti para 1 i n S f(e1,e2,,en) :? Reglas para funciones Reglas para arrays f es un identificador f es una función en el scope S f tiene tipo (T1,T2,,Tn) U S ei : Ti para 1 i n S f(e1,e2,,en) : U S e1 : T [ ] S e2 : int S e1[e2] : T Reglas para asignaciones Reglas para asignaciones S e1 : T S e2 : T S e1 = e2 : T S e1 : T S e2 : T S e1 = e2 : T Que pasa con una expresión de este estilo? 10 = x; 10
11 Reglas para asignaciones Tipos en Clases S e1 : T S e2 : T S e1 = e2 : T Si estamos en un lenguaje orientado a objetos, si tenemos dos clases, Base y Derivada (que extiende a Base), funciona la regla para este código? Como incorporamos la herencia en nuestras reglas de inferencia? Debemos considerar la forma de las jerarquias de clases Base mybase; Derivada myderived; mybase = myderived; Herencia simple A Herencia múltiple A B C D B C D E Propiedades de herencia Cualquier clase es convertible consigo misma (Reflexibilidad) Si A es convertible en B, y B es convertible en C, entonces A es convertible en C (Transitividad) Si A es convertible en B y B es convertible en A, entonces A y B son el mismo tipo (Antisimetría) Esto define un orden parcial sobre los tipos Orden parcial en tipos Decimos que A <= B, si A es convertible en B Tenemos entonces que: A <= A A <= B, B <= C entonces A <= C A <= B, B <= A entonces A = B Entonces, la regla de asignación queda como: 11
12 Reglas para asignaciones Regla para comparaciones S e1 : T1 S e2 : T2 T2 <= T1 S e1 = e2 : T1 S e1 : T S e2 : T S e1 == e2 : bool S e1 : T1 S e2 : T2 T1 y T2 son clases T1 <= T2 o T2 <= T1 S e1 == e2 : bool Regla para comparaciones Regla para comparaciones S e1 : T S e2 : T S e1 : T1 S e2 : T2 T1 y T2 son clases T1 <= T2 o T2 <= T1 S e1 : T S e2 : T S e1 : T1 S e2 : T2 T1 y T2 son clases T1 <= T2 o T2 <= T1 S e1 == e2 : bool S e1 == e2 : bool S e1 == e2 : bool S e1 == e2 : bool Implica que están en la misma jerarquía Son comparables entonces Seria interesante unificar las reglas Estructura de los tipos Extendemos la convertibilidad A B C D E bool string double int arrays Si A es un tipo primitivo o un array, entonces A es convertible solo con A Si A y B son tipos, si A es un tipo primitivo o un array, entonces: A <= B implica que A = B B <= A implica que A = B 12
13 Regla para comparaciones Regla para funciones S e1 : T1 S e2 : T2 T1 <= T2 o T2 <= T1 S e1 == e2 : bool f es un identificador f es una función en el scope S f tiene tipo (T1,T2,,Tn) U S ei : Ri para 1 i n Ri <= Ti para 1 i n S f(e1,e2,,en) : U Que pasa con esto? Estructura de los tipos A S null :??? B C D E bool string double int arrays null type Manejando el null Definimos un nuevo tipo de datos, correspondiente al literal null, lo llamamos null type Hacemos que null type <= A, para cualquier clase A El null type no es accesible al programador, solo puede ser usado internamente Muchos lenguajes orientados a objetos tienen esta contruccion Null Type S null : Null Type 13
14 Que pasa con los tipos y las sentencias? Podemos probar la correctitud del tipo de las expresiones Pero Como podemos probar que una sentencia IF tiene condiciones booleanas bien formadas? Como podemos probar que una sentencia RETURN devuelve el tipo correcto? Que pasa con los tipos y las sentencias? Extendemos el sistema de pruebas a las sentencias, para verificar que están bien formadas Escribimos: S WF(stmt) Si la sentencia stmt se encuentra bien formada en el scope S Si podemos asignar un tipo T en el scope S a la expresión expr Un ejemplo Reglas para secuencias S expr : T S WF(expr;) S WF(stmt1) S WF(stmt2) S WF(stmt1 stmt2) Entonces decimos que la sentencia expr; esta bien formada en el scope S Reglas para loops Reglas para bloques S expr : bool Sea S el scope dentro del loop S WF(stmt) S WF(while (expr) stmt) Sea S el scope formado al agregar decls a S S WF(stmt) S WF( decls stmt ) 14
15 Reglas para return Chequeando WF S esta dentro de una función que retorna T S expr : T T <= T S WF(return expr;) S esta dentro de una función que retorna void S WF(return;) Podemos hacerlo recursivamente, recorriendo el AST Para cada sentencia Controlamos los tipos de cualquier sobrexpresión Si no podemos asignar tipos, reportamos error Si asignamos el tipo errado, reportamos error Controlamos los tipos de las subsentencias Controlamos la correctitud de la sentencia 15
Introducción a C# y la plataforma.net. Pablo Zaidenvoren 2013
Introducción a y la plataforma.net Pablo Zaidenvoren 2013 Plataforma.NET Una plataforma -> Muchos lenguajes Posibilidad de compartir funcionalidades entre ellos! Plataforma.NET Base Class Library -> Funcionalidades
Más detallesUnidad Didáctica 2. Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones
Unidad Didáctica 2 Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión 1.0.3 Índice
Más detallesEstructuras de control selectivas
Práctica 3 Estructuras de control selectivas Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión 2.0.2 Concepto de sentencia y estructura de control El cuerpo de los métodos
Más detallesCompiladores e Intérpretes Análisis Semántico IV
1 Compiladores e Intérpretes Análisis Semántico IV Sebastian Gottifredi 2018 Repaso 2 Repaso El análisis semántico es el encargado validar y entender el significado del programa Para esto el analizador
Más detallesUnidad Didáctica 3. Tipos genéricos. Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos
Unidad Didáctica 3 Tipos genéricos Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Definición de tipo genérico Hablamos de un tipo genérico cuando el tipo en cuestión depende
Más detallesIntroducción a C# y la plataforma.net
Introducción a y la plataforma.net Matías Malbergier 2013 Plataforma.NET.NET provee un set de herramientas (Framework) el cual permite desarrollar programas apuntando a múltiples plataformas y utilizando
Más detallesPROGRAMACIÓN ORIENTADA A OBJETOS (L40629) Sabino Miranda-Jiménez
PROGRAMACIÓN ORIENTADA A OBJETOS (L40629) Sabino Miranda-Jiménez Elementos de lenguaje: Identificadores Tipos de datos 2 Tipos de datos primitivos 3 Tipos de datos referenciados Clases Interfaces Arrays
Más detallesCarlos Montenegro. Programación Orientada a Objetos Proyecto Curricular de Ingeniería de Sistemas
2 - Introducción al lenguaje Java, identificadores y comentarios. Carlos Montenegro Programación Orientada a Objetos Proyecto Curricular de Ingeniería de Sistemas 1. Introducción: Java tiene como todos
Más detallesEstructura de un programa en Java. Tipos de datos básicos. class miprimerprograma{ // comentario, no es parte del programa
Contenido Estructura de un programa en Java... 2 Tipos de datos básicos... 2 Operadores... 3 Literales... 4 Entrada / Salida... 4 Sentencias condicionales... 5 Funciones... 5 Ejercicios... 6 Variables,
Más detallesExamen Teórico Convocatoria de Junio de 2012
Examen Teórico Convocatoria de Junio de 2012 Nombre: DNI: Titulación: 1. Sobre el control de errores en Java: a) El siguiente método contiene un error de compilación debido al uso de excepciones. Explica
Más detallesComprender las diferencias entre tipos de datos primitivos similares, y aprender a elegir el tipo más conveniente en cada caso.
Elementos básicos de programación en Java Objetivos del tema Conocer la estructura básica de un programa Java. Comprender los conceptos de tipo, valor y variable. Comprender las diferencias entre tipos
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesCurso de Java Introducción a la Programación II
Curso de Java Introducción a la Programación II Jaime Fernández Martín Curso INEM 02830. Programación en Java Marzo 2010 Índice 1 Tipos Java 2 Decalaración de variables 3 Operadores aritméticos Índice
Más detallesCompiladores e Intérpretes
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Compiladores e Intérpretes Proyecto N 1 Sintaxis de MiniJava Segundo Cuatrimestre de 2018 1. Introducción Este documento
Más detallesIntroducción a Java. Introducción a Java. Programación I
Introducción a Java Introducción a Java Programación I Como Funciona Tipos de Datos TIPO TAMAÑO RANGO byte 8 bits Valores numéricos de 128 a 127 short 16 bits Valores numéricos de 32.768 a 32.767 int 32
Más detallesANÁLISIS SEMÁNTICO VERIFICACIÓN DE TIPOS
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesCompiladores: Análisis Semántico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inès Alvarez V.
Compiladores: Análisis Semántico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inès Alvarez V. Verificaciòn de tipos Se puede hacer en forma Estàtica: en tiempo
Más detallesCentro Asociado Palma de Mallorca. Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Antonio Rivero Cuesta La Sintaxis de Java I... 5 Tipos de datos... 6 Tipos de datos simples... 7 Operadores... 11 Operadores Aritméticos... 12 Operadores relacionales...
Más detallesAlgoritmos y Estructuras de Datos Iteradores. Guillermo Román Díez
Algoritmos y Estructuras de Datos Iteradores Guillermo Román Díez groman@fi.upm.es Universidad Politécnica de Madrid Curso 2015-2016 Guillermo Román, UPM AED: Introducción 1/26 Iteradores Es muy común
Más detallesVARIABLES, CONSTANTES Y EXPRESIONES ASIGNACIÓN. TIPOS ELEMENTALES. PRECEDENCIA DE LOS ESTRUCTURAS DE CONTROL. CONDICIONAL E
Java Java es un lenguaje de programación presentado en 1995 enfocado a: soportar los fundamentos de la programación orientada a objetos. generar código independiente de la arquitectura de la computadora
Más detallesJava. Introducción a la Programación Orientada a Objetos
Java Java es un lenguaje de programación presentado en 1995 enfocado a: soportar los fundamentos de la programación orientada a objetos. generar código independiente de la arquitectura de la computadora
Más detallesUnidad IV. Este tipo de codificación nos es permitido gracias a la sobrecarga, la cual se aplica a métodos y constructores.
Unidad IV Métodos. 4.1 Definición de un método. El polimorfismo, en programación orientada a objetos, se refiere a la posibilidad de acceder a un variado rango de funciones distintas a través del mismo
Más detallesPROGRAMACIÓN GENÉRICA
PROGRAMACIÓN GENÉRICA Lenguajes de Programación - Orientación a Objetos: Progr. Genérica 1 Programación genérica Objetivo: escribir algoritmos genéricos, independientes de las clases concretas de los datos
Más detallesProcesadores de lenguaje Tema 5 Comprobación de tipos
Procesadores de lenguaje Tema 5 Comprobación de tipos Departamento de Ciencias de la Computación Universidad de Alcalá Resumen Sistemas de tipos. Expresiones de tipo. Equivalencia de tipos. Sobrecarga,
Más detallesJavaScript Básico. Elementos Básicos: Comentarios: Literales: Valores que puede tomar una variable o una constante.
Javascript (II) 1 Elementos Básicos: Comentarios: Para una línea // Esto es un Comentario Para un bloque /*......... */ Literales: Valores que puede tomar una variable o una constante. Ejemplos: "Soy una
Más detallesIntroducción a Java LSUB. 30 de enero de 2013 GSYC
Introducción a Java LSUB GSYC 30 de enero de 2013 (cc) 2013 Laboratorio de Sistemas, Algunos derechos reservados. Este trabajo se entrega bajo la licencia Creative Commons Reconocimiento - NoComercial
Más detallesElementos léxicos del lenguaje de programación Java
Elementos léxicos del lenguaje de programación Java Elementos léxicos del lenguaje de programación Java Palabras reservadas Identificadores Literales Operadores Delimitadores Comentarios Apéndices Operadores
Más detallesAlgoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 3
Algoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 3 Contenidos: 1. Funciones y clases genéricas 2. Excepciones 3. Asertos 4. El puntero this 5. Redefinición
Más detallesIntroducción a C# y la plataforma.net. Pablo Zaidenvoren 2010
Introducción a y la plataforma.net Pablo Zaidenvoren 2010 Plataforma.NET.NET provee un set de herramientas (Framework) el cual permite desarrollar programas apuntando a múltiples plataformas y utilizando
Más detallesTema 3: Herencia en C# Programación Orientada a Objetos Curso 2008/2009 Begoña Moros Valle
Tema 3: Herencia en C# Programación Orientada a Objetos Curso 2008/2009 Begoña Moros Valle Contenido Herencia. Polimorfismo y ligadura. Clase object. Casting. Compatibilidad de tipos. Clases abstractas.
Más detallesLos tipos de datos primitivos
Los tipos de datos primitivos El lenguaje de programación Java es de tipo estático, lo que significa que todas las variables debe ser declarado antes de que puedan ser utilizados visto. Se trata de la
Más detalles18. Interfaces Declaración de una interfaz
Programación orientada a objetos con Java 191 18. Interfaces Objetivos: a) Definir el concepto de interfaz b) Interpretar el código fuente de una aplicación Java donde aparecen interfaces c) Construir
Más detallesTema 4: Corrección y Robustez en C++ Programación Orientada a Objetos Curso 2008/2009 Begoña Moros Valle
Tema 4: Corrección y Robustez en C++ Programación Orientada a Objetos Curso 2008/2009 Begoña Moros Valle Contenido Asertos en C++ Mecanismo de excepciones: Declaración de excepciones Lanzar excepciones
Más detalles2.2 Nombres, Ligado y Ámbito
2.2 Nombres, Ligado y Ámbito Ligado estático y dinámico, reglas de ámbito y prueba de tipos. Conceptos Nombres e Identificadores Variables Tipos Ámbito Constantes Nombres Identificador que designa en el
Más detallesINTERACCION ENTRE OBJETOS
INTERACCION ENTRE OBJETOS Corina Flores Villarroel UMSS - Contenido Este capítulo se discutirán conceptos relacionados con: Abstracción y encapsulamiento, Modularización, composición Creación de objetos,
Más detallesIntroducción a la computación. Carlos Lopez Pombo
Introducción a la computación Carlos Lopez Pombo Estado Se denomina estado en un modelo de cómputo a un punto en la ejecución de un programa en dicho modelo. En el modelo de Von Neumann esto responde al
Más detallesIntroducción a Java. Fernando Cerezal López. 24 Noviembre 2005
24 Noviembre 2005 disponibles de acceso public private protected de tipo static abstract final modificadores más avanzados que no vamos a ver... Clase Sintaxis modificadores class nombreclase{} Tipos primitivos
Más detallesint[] nombrearray1; int nombrearray2[];
USANDO ARREGLOS Y STRINGS Arrays unidimensionales Declaración En Java un array se declara de las siguientes formas: int[] nombrearray1; int nombrearray2[]; Ambas declaraciones son equivalentes. La primera
Más detallesQué es Java? Un lenguaje de programación Un entorno de desarrollo Un entorno de aplicación Un entorno de despliegue Es similar en sintaxis de C + +.
APUNTES DE JAVA Agenda Bienvenida Conociendo Java La Maquina Virtual Descargar e instalar el compilador El entorno de trabajo El paradigma de la programación orientada a objetos Qué es Java? Un lenguaje
Más detallesConstrucciones del Lenguaje Java
Construcciones del Lenguaje Java Autor: Juan Alberto López Cavallotti Versión de Java: 5 / 6 Comentarios Comentario de Línea Comentario Multilínea //Esto es un comentario. /* Esto comenta varias lineas.
Más detallesCURSO : ESTRUCTURA DE DATOS DOCENTE : ING. JUAN ZEVALLOS VALLE
CURSO : ESTRUCTURA DE DATOS DOCENTE : ING. JUAN ZEVALLOS VALLE 1 Estructura de Datos 1. Logica de Programación 2. Uso de Algoritmos usando Lenguaje Java 3. Ingreso de datos 4. Sentencias de Control 1.
Más detalles4/14/2010. Objetivos. Que es JAVA. JAVA como plataforma. Reglas Sintácticas y de Codificación Básicas de JAVA
Reglas Sintácticas y de Codificación Básicas de JAVA Objetivos Que el alumno pueda: Identificar claramente los componentes del Lenguaje y su proceso de ejecución. Identificar y comprender las partes de
Más detallesPara crear un arreglo de cualquier tipo de elementos la sintaxis es:
Arreglos (arrays) Un arreglo es una estructura de datos homogénea o conjunto de elementos del mismo tipo. En Java se pueden manejar arreglos de elementos de tipo primitivo (8 tipos primitivos hay en Java)
Más detallesProgramación Tema 4: Métodos. Programación DIT-UPM
Programación Tema 4: Métodos 1 Contenidos! 1. El concepto de método! 2. Definición: cabecera! 3. Definición: cuerpo! 4. Uso de métodos! 5. Métodos útiles 2 Métodos! Un método es un bloque de código con
Más detallesProgramación orientada a objetos. Resumen de Temas Unidad 5: Herencia
Programación orientada a objetos Resumen de Temas Unidad 5: Herencia 5.1 Introducción a la Herencia La herencia es el mecanismo fundamental de relación entre clases en la orientación a objetos. Relaciona
Más detallesClases Abstractas e Interfaces
Clases Abstractas e Interfaces Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Aprender a crear y utilizar clases y métodos abstractos
Más detallesMétodos CON valor de retorno
Métodos Estáticos C# Fundamentos de Programación. Objetivos del tema: Qué es un método? Qué métodos conoces? Métodos que NO devuelven valor. Métodos que SI devuelven un valor. Paso de parámetros. Variables
Más detallesESTRUCTURA DE DATOS Y ALGORITMOS Titulación: Ingeniero Técnico en Informática de Gestión Curso: 2º Nombre y apellidos: Nota:
Nombre y apellidos: Nota: NOTA FINAL: Nota Practica (1 punto) + Nota Examen (9 punto) Es indispensable aprobar el examen (4,5 puntos) para aprobar la asignatura (5 puntos) La práctica es opcional Duración:
Más detallesDiseño y Programación Orientados a Objetos 29 de Abril de Primer Certamen
Primer Certamen Primera parte, sin apuntes (30 minutos; 1/3 de la nota): 1.- Responda brevemente y entregue en hoja con su nombre. a. Al redefinir un método en una subclase, es posible retornar un objeto
Más detalles3.3 Conceptos Básicos del Lenguaje Java
3.3 Conceptos Básicos del Lenguaje Java Conjunto de Caracteres Java utiliza Unicode, un conjunto de caracteres de 16 bits Java permite leer ASCII de 7-bit o Latin-1, conviertiéndolo a Unicode Son pocos
Más detallesCAPÍTULO IV: 4.1 Introducción a la. Programación Funcional
CAPÍTULO IV: Programación Funcional 4.1 Introducción a la Programación Funcional 1 Programación Funcional Paradigma diferente a los imperativos, que se aleja de la máquina de von Neumann Basado en funciones
Más detallesProgramación II Objetos en Java
Programación II Objetos en Java Definición Objeto: Conjunto de datos y métodos relacionados. Los objetos se alojan en una parte de la RAM reservada al proceso denominada memoria dinámica, y son referenciados
Más detallesInstituto Tecnológico de Celaya
ELEMENTOS BÁSICOS DE C++: DECLARACIÓN DE VARIABLES A través de operaciones aritméticas (suma, resta, etc.) y lógicas (por ejemplo, comparaciones) los programas manipulan datos tales como números y caracteres.
Más detallesLenguajes de Programación. Capítulo 4. Expresiones.
Lenguajes de Programación. Capítulo 4. Expresiones. Carlos Ureña Almagro Curso 2011-12 Contents 1 Introducción 2 2 Literales 5 2.1 Literales tipos primitivos......................................... 5
Más detallesClases abstractas e interfaces en Java
Clases abstractas e interfaces en Java Clases abstractas public abstract class Figura { private String _nombre; public Figura (string nombre) { _nombre = nombre; final public boolean mayor_que (Figura
Más detallesÍndice del capítulo. Capítulo 4. Expresiones. Las expresiones. Indice de la sección. Lenguajes de Programación. Introducción. 2.
Índice del capítulo Capítulo 4. Expresiones Lenguajes de Programación Capítulo 4. Expresiones 1. Carlos Ureña Almagro 2. Dpt. Lenguajes y Sistemas Informáticos ETSI Informática y de Telecomunicación Universidad
Más detallesAnálisis semántico: Comprobación de tipos
Análisis semántico: Comprobación de tipos Expresiones de tipos, sistemas de comprobación de tipos, equivalencia, resolución de sobrecargas y unificación. Introducción Objetivo de comprobación estática:
Más detallesParadigmas de lenguajes de programación. Introducción a la programación imperativa. Lenguaje C. Programación imperativa
Paradigmas de lenguajes de programación Introducción a la programación imperativa Algoritmos y Estructuras de Datos I Paradigma: Definición del modo en el que se especifica el cómputo (que luego es implementado
Más detallesARRAYS O ARREGLOS. EJEMPLOS CON OBJETOS Y TIPOS PRIMITIVOS. CAMPO LENGTH. RESUMEN TIPOS DE COLECCIONES JAVA. (CU00669B)
APRENDERAPROGRAMAR.COM ARRAYS O ARREGLOS. EJEMPLOS CON OBJETOS Y TIPOS PRIMITIVOS. CAMPO LENGTH. RESUMEN TIPOS DE COLECCIONES JAVA. (CU00669B) Sección: Cursos Categoría: Curso Aprender programación Java
Más detallesSwift. Angela María Muñoz Medina Liseth Briceño Albarracín Nicolás Larrañaga Cifuentes
Swift Angela María Muñoz Medina Liseth Briceño Albarracín Nicolás Larrañaga Cifuentes Qué es Swift? El nuevo lenguaje para ios y OS X Es construido de lo mejor de C y objective C Presentado en el WWDC
Más detallesPARTE TEÓRICA - TEST [2,5 PUNTOS]:
UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA 71901072 PROGRAMACIÓN ORIENTADA A OBJETOS (GRADO EN INGENIERÍA INFORMÁTICA / TECNOLOGÍAS DE LA INFORMACIÓN)
Más detallesINICIACIÓN A LA PROGRAMACIÓN LENGUAJE JAVA con BlueJ
INICIACIÓN A LA PROGRAMACIÓN LENGUAJE JAVA con BlueJ Tema 3 Clases y Objetos Tema 4 Comunicación entre objetos. Algoritmos Tema 5 Herencia y abstracción de datos Tema 6 Diseño de clases TEMA 5: Herencia
Más detallesCLAVE EXAMEN: a cd. c u r s o r = c u r s o r. g e t S i g u i e n t e ( ) ; p o s i c i o n ++;
Departamento de Lenguajes y Sistemas Informáticos e Ingeniería del Software UPM ETSIINF. Exámen de Programación II. Convocatoria extraordinaria.08-07-2016. Realización: El test se realizará en la hoja
Más detallesAspectos de los LP. Diseño de compiladores. Estático vs. Dinámico. Estático vs. Dinámico. Scope. Scope 24/03/2015
Aspectos de los LP Diseño de compiladores Lenguajes de Programación Antes de comenzar con la construcción de un compilador, debemos comprender los conceptos basicos del lenguaje de programación con el
Más detallesProgramación Tema 3: Tipos y expresiones simples. Programación DIT-UPM
Programación Tema 3: Tipos y expresiones simples 1 Contenidos! 1. Tipos primitivos: números enteros, números reales, booleanos, caracteres! 2. Expresiones simples! 3. Arrays! 4. Campos (atributos) 2 Algoritmos
Más detallesPlantillas (Templates) Agustín J. González ELO-329
Plantillas (Templates) Agustín J. González ELO-329 Definición Una plantilla (template) es un patrón para crear funciones o clases usando tipos de datos como parámetros. Hay dos tipos de templates: Funciones
Más detallesEstructura de Datos Unidad 1: Repaso del Lenguaje Java
Estructura de Datos Unidad 1: Repaso del Lenguaje Java Introducción Java es un lenguaje de programación orientado a objetos, desarrollado por Sun Microsystems a principios de 1991, con el que se van a
Más detallesAlgoritmos y Estructuras de Datos: Ordenación y Colas con Prioridad. Guillermo Román Díez
Algoritmos y Estructuras de Datos: Ordenación y Colas con Prioridad Guillermo Román Díez groman@fi.upm.es Universidad Politécnica de Madrid Curso 2015-2016 Guillermo Román, UPM AED: Introducción a la Recursión
Más detallesAlgoritmos y Estructuras de Datos Tema 2: Diseño de Algoritmos
Algoritmos y Estructuras de Datos Tema 2: Diseño de Algoritmos 1! 1. Algoritmos recursivos " 1.1 Algoritmos recursivos. Recursión simple " 1.2 Algoritmos con vuelta atrás y ejemplos! 2. Complejidad de
Más detallesLENGUAJES DE PROGRAMACIÓN. Solución al Ejercicio de Autocomprobación 1
Solución al Ejercicio de Autocomprobación 1 PREGUNTA 1 (1 punto) Señale razonadamente la veracidad o falsedad de las afirmaciones siguientes: A. La diferencia fundamental entre los lenguajes ensamblador
Más detallesEntiendo los métodos de Java equals y hashcode
Todos los días cuando programamos usamos objetos y en muchas ocasiones necesitamos comparar unos con otros. Para ello en muchas ocasiones usamos los métodos de de Java equals y hashcode. Estos métodos
Más detallesHERENCIA (2ª parte) En Java todas las clases derivan de otra, aunque no se diga explícitamente.
HERENCIA (2ª parte) Lenguajes de Programación - Orientación a Objetos: Herencia 2ª parte 1 Object En Java todas las clases derivan de otra, aunque no se diga explícitamente. Object: Es el nombre de la
Más detalles12. Tipos de atributos
Programación orientada a objetos con Java 135 12. Tipos de atributos Objetivos: a) Profundizar en el concepto de atributo de una clase e indicar los tipos de atributos en Java b) Interpretar el código
Más detallesIMPLEMENTACIÓN DE PILAS CON LISTAS EN C++
IMPLEMENTACIÓN DE PILAS CON LISTAS EN C++ Fichero nodo.h #ifndef NODO_H #define NODO_H const int cantidad_nodos = 10; class Nodo private: string dato; Nodo* siguiente; public: Nodo(); void setdato(string
Más detallesComponentes Básicos. InCo. InCo Componentes Básicos 1 / 28
Componentes Básicos InCo InCo Componentes Básicos 1 / 28 Modelo de Computación Vemos al computador como un procesador de datos. +------------+ Entrada ===> Computador ===> Salida +------------+ InCo Componentes
Más detallesJava para programadores
Java para programadores Java y Servicios Web I Master en Ingeniería Matemática Manuel Montenegro Dpto. Sistemas Informáticos y Computación Desp. 467 (Mat) montenegro@fdi.ucm.es Contenidos Variables. Tipos
Más detallesAlgoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 1
Algoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 1 Contenidos: 1. Características generales de C++ 2. Entrada/salida estándar 3. Variables y tipos de datos
Más detallesUnidad Didáctica 1. Introducción a la Programación Orientada a Objetos (POO) Conceptos de clase, objeto e interfaz. Atributos y métodos
Unidad Didáctica 1 Introducción a la Programación Orientada a Objetos (POO) Conceptos de clase, objeto e interfaz. Atributos y métodos Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos
Más detallesMemoria en C++ Punteros - Referencias Clases Y ahora, a trabajar! Memoria Dinámica en C++
Qué es una variable? Variables Memoria Matemática: una etiqueta que representa a un valor en una expresión: f (y) = y 2 + 2y Programación: Nombre simbólico dado a un valor residente en la memoria. Propiedades
Más detallesabril de 2017 Desarrollo de aplicaciones en Java Tipos de datos primitivos Tipos de datos Elementos de aplicaciones simples
Desarrollo de aplicaciones en Java Generación de código fuente Compilación Ejecución Elementos de aplicaciones simples EII147-01-02 Introducción a las tecnologías de información Escuela de Ingeniería Industrial
Más detallesVariables. Una variable no es más que un nombre simbólico que identifica una dirección de memoria: vs.
Variables Una variable no es más que un nombre simbólico que identifica una dirección de memoria: Suma el contenido de la posición 3001 y la 3002 y lo almacenas en la posición 3003 vs. total = cantidad1
Más detallesApuntes de Programación y estructuras de datos. Control de datos
Apuntes de Programación y estructuras de datos. Control de datos Nikos Mylonakis, Fernando Orejas y Ana Cristina Zoltan nicos@lsi.upc.edu Dept. Llenguatges i Sistemes Informátics Universitat Politécnica
Más detallesEstructuras de control: Las variables: Fuertemente tipado: Tipado dinámico: Variables booleanas: Qué son las estructuras de control?
Estructuras de control: Qué son las estructuras de control? Las estructuras de control nos permiten modificar el flujo del programa. Piensa en el programa como una piedra que baja por un tubo, entra por
Más detallesTema 2: Programación basada en Objetos
Tema 2: Programación basada en Objetos Programación Orientada a Objetos Marcos López Sanz Máster en Informática Gráfica, Juegos y Realidad Virtual Índice Objetivos Introducción Vista Pública Clases Objetos
Más detallesREPRESENTACIÓN DE DATOS
REPRESENTACIÓN DE DATOS Tipos de datos primitivos Tipos de Datos Estructurados TIPOS DE DATOS SIMPLES O PRIMITIVOS Dato Longitud Rango 2 TIPOS DE DATOS SIMPLES O PRIMITIVOS Surgen de la necesidad de tener
Más detallesLenguajes de programación. Algoritmos y Estructuras de Datos I. Lenguajes compilados. Lenguajes compilados
Lenguajes de programación Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2014 Departamento de Computación - FCEyN - UBA Teórica - clase 3 Introducción a la programación imperativa Las computadoras
Más detallesAgradecimientos. Nota de los autores. 1 Problemas, algoritmos y programas 1
Prologo Agradecimientos Nota de los autores Índice general I III V VII 1 Problemas, algoritmos y programas 1 1.1 Programas y la actividad de la programación.................... 4 1.2 Lenguajes y modelos
Más detallesSobrecarga de Operadores II
D é c i m o q u i n t a S e s i ó n Metodologías y Técnicas de Programación II Programación Orientada a Objeto (POO) C++ Sobrecarga de Operadores II 1 Sobrecarga de operadores unitarios (o unarios) Son
Más detallesProgramación orientada a objetos
Repaso Programación orientada a objetos Curso INEM. Programación en Java Santiago Muelas Pascual smuelas@fi.upm.es! Herencia! Superclase/subclase! super! Modificador protected! Redefinicion de métodos!
Más detallesPrefacio 25 Organización de la Unidad Didáctica Cómo utilizar el libro Objetivos docentes... 27
ÍNDICE Prefacio 25 Organización de la Unidad Didáctica.................... 25 Cómo utilizar el libro............................. 26 Objetivos docentes.............................. 27 1 Fundamentos de
Más detallesAsignación Dinámica de Memoria. Agustín J. González Versión original de Kip Irvine ELO 326: Seminario II 2do. Sem. 2001
Asignación Dinámica de Memoria Agustín J. González Versión original de Kip Irvine ELO 326: Seminario II 2do. Sem. 2001 1 Asignación Dinámica Asignación Dinámica es la creación de un objeto mientras el
Más detallesCaracterísticas de JavaScript
Características de JavaScript Qué es JavaScript? o Lenguaje de programación interpretado utilizado fundamentalmente para dotar de comportamiento dinámico a las páginas web. o Cualquier navegador web actual
Más detallesEjercicio 1 (proyecto prlistas, paquete listas)
PRÁCTICA 3 Curso 2004-05 En esta práctica construiremos y usaremos dos paquetes: el primero, listas, que implementa listas genéricas y el segundo, colas, que implementa colas y colas de prioridades genéricas.
Más detallesSesión 2: Introducción a Java
Razonamiento Geométrico Diversiones Sesión 2: Introducción a Java Introducción a Java Copyright 2002-2003 Universidad de Alicante 1 Índice Revisión de Java Qué es Java? Clases y objetos La variable CLASSPATH
Más detallesLenguajes de Programación I
Lenguajes de Programación I Tipos de Datos Ernesto Hernández-Novich Copyright c 2006-2010 Tipos de Datos El computador sólo manipula secuencias de bits. Los lenguajes de programación ofrecen
Más detallesCentro Asociado Palma de Mallorca. Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Antonio Rivero Cuesta La Sintaxis de Java II... 6 Estructuras de control... 7 Estructuras de selección... 8 Sentencia if... 9 Sentencia if - else... 12 Operador condicional...
Más detallesEJERCICIO Y EJEMPLO RESUELTO: USO DE LA INTERFACE COMPARABLE Y MÉTODO COMPARETO DE JAVA. COMPARAR OBJETOS (CU00913C)
APRENDERAPROGRAMAR.COM EJERCICIO Y EJEMPLO RESUELTO: USO DE LA INTERFACE COMPARABLE Y MÉTODO COMPARETO DE JAVA. COMPARAR OBJETOS (CU00913C) Sección: Cursos Categoría: Lenguaje de programación Java nivel
Más detalles