Contenidos. Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión. Introducción. Introducción. Enfoques educativos.

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Contenidos. Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión. Introducción. Introducción. Enfoques educativos."

Transcripción

1 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 1 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión Jaime Urquiza-Fuentes Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 2 de XX Introducción Introducción Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 3 de XX Procesadores de Lenguajes y Compiladores Proc. de Lenguajes: Análisis léxico Análisis sintáctico Traducción dirigida por la sintaxis Compiladores: Análisis léxico Análisis sintáctico Análisis semántico Generación de código intermedio Optimización Generación de código final Introducción Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 4 de XX Fundamentos teóricos: teoría de autómatas y lenguajes formales Práctica: Planificación de trabajo Continuidad en el trabajo Herramientas sin conexión clara con la teoría Asignaturas complejas Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 5 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 6 de XX Introducción Tres aspectos interrelacionados: Objetivos educativos Organización de las prácticas Herramientas de ayuda disponibles

2 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 7 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 8 de XX Objetivos educativos: lo que se enseña Traductores Enseñanzas colaterales Objetivos educativos: lo que se enseña : A. Léxico Métodos de construcción A. Sintáctico Diseño de compiladores Diseño de lenguajes A. Semántico Especificación léxica Especificación sintáctica Especificación semántica Gen. Cod. Intermedio Optimización Gen. Cod. Final Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 9 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 10 de XX Objetivos educativos: lo que se enseña Traductores: Métodos de construcción A. Léxico Diseño de traductores A. Sintáctico Diseño de lenguajes Especificación léxica Traductor Objetivos educativos: lo que se enseña Traductores Enseñanzas colaterales : Ingeniería del software Trabajo en grupo Especificación sintáctica Especificación del traductor Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 11 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 12 de XX Organización de las prácticas: duración y complejidad Prácticas de un curso entero: Visión global y realista Requiere mucho esfuerzo Organización de las prácticas: duración y complejidad Prácticas de un curso entero: Visión global y realista Requiere mucho esfuerzo Prácticas cortas: Relacionadas Visión parcial realista? Requiere menos esfuerzo

3 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 13 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 14 de XX Organización de las prácticas: duración y complejidad Prácticas de un curso entero: Visión global y realista Requiere mucho esfuerzo Prácticas cortas: Independientes Visión parcial realista? Requiere menos esfuerzo Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 15 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 16 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 17 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 18 de XX

4 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 19 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 20 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 21 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 22 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 23 de XX Introducción Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 24 de XX Sathi, H.L. A project-based course in compiler construction. SIGCSE Conf (máquina virtual) Prácticas de curso entero (1/2 o 1 año) Métodos sistemáticos sin generadores

5 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 25 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 26 de XX Shapiro, H.D. y Mickunas, M. D. A new approach to teaching a first course in compiler construction. SIGCSE Conf y prog. estructurada Proyectos pequeños independientes Métodos sistemáticos sin generadores Baldwin, D. A compiler for teaching about compilers. SIGCSE Conf Proyectos pequeños relacionados Métodos sistemáticos sin generadores Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 27 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 28 de XX Ruckert, M. Teaching compiler construction and language design: making the case for unusual compiler projects with postscript as the target language. SIGCSE Conf Diseño de lenguajes / Traducción a PostScript Práctica de curso completo (1/2 año) Usan generadores Aycock, J. The ART of compiler construction projects. SIGPLAN Notices 38, 12 (2003) Práctica de curso entero (1 año) Uso de generadores y ART Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 29 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 30 de XX Aho, A.V. Teaching the compilers course. SIGCSE Bulletin 40, 4 (2008) Diseño de lenguajes (manual de referencia, guía del programador) / trabajo en grupo Práctica de curso entero (1/2 año) Uso de generadores. White, E., Sen, R., y Stewart, N. Hide and show: using real compiler for teaching. SIGCSE Bulletin 37, 1 (2005) (C#) Prácticas pequeñas relacionadas Depurador de VisualStudio.NET

6 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 31 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 32 de XX Almeida, F.J., Urquiza J. y Velázquez, J.A. Visualization of Syntax Trees for Language Processing Courses. Journal of Universal Computer Science, 15(7) (2009) /Traductores Prácticas pequeñas independientes VAST Introducción Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 33 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 34 de XX Gran variedad de enfoques Poca información sobre resultados académicos Alternativa, combinar diferentes enfoques: Organización de prácticas: Gran variedad de enfoques Poca información sobre resultados académicos Alternativa, combinar diferentes enfoques: Prácticas básicas Prácticas aplicativas Práctica obligatoria Herramientas utilizadas: Visualización: básicas y aplicativas Generadores: aplicativas y obligatoria Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 35 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 36 de XX Un poco de historia Gran variedad de enfoques Poca información sobre resultados académicos Alternativa, combinar diferentes enfoques:

7 Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 37 de XX Un poco de historia Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 38 de XX Un poco de historia Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión 39 de XX Las prácticas de la asignatura de Procesadores de Lenguajes, una revisión Jaime Urquiza-Fuentes

Reorganización de las prácticas de compiladores para mejorar el aprendizaje de los estudiantes

Reorganización de las prácticas de compiladores para mejorar el aprendizaje de los estudiantes Reorganización de las prácticas de compiladores para mejorar el aprendizaje de los estudiantes Jaime Urquiza-Fuentes, Francisco Almeida-Martínez, Antonio Pérez-Carrasco Departamento de Lenguajes y Sistemas

Más detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO COMPILADORES 1764 7 o 09 Asignatura Clave Semestre Créditos Ingeniería Eléctrica Ingeniería en Computación Ingeniería

Más detalles

Presentación de la Asignatura

Presentación de la Asignatura de la Asignatura Federico Peinado www.federicopeinado.es José Luis Sierra Coordinador de la asignatura y creador de los contenidos Ingeniería en Informática Facultad de Informática Universidad Complutense

Más detalles

PROCESADORES DEL LENGUAJE

PROCESADORES DEL LENGUAJE PROCESADORES DEL LENGUAJE (3º Curso Primer Cuatrimestre) Grado en Ingeniería de Computadores Universidad de Alcalá Curso Académico 2011/12 GUÍA DOCENTE Nombre de la asignatura: Procesadores del lenguaje

Más detalles

DOMINIOS COGNITIVOS (Objetos de estudio, temas y subtemas)

DOMINIOS COGNITIVOS (Objetos de estudio, temas y subtemas) UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: Clave: FACULTAD DE INGENIERÍA DES: Ingeniería Programa(s) Educativo(s): Ingeniería en Ciencias de la Computación Tipo de materia: Obligatoria Clave de la materia:

Más detalles

Compiladores e Intérpretes

Compiladores e Intérpretes Programa de la Asignatura: Compiladores e Intérpretes Código: 767 Carrera: Ingeniería en Computación Plan: 2008 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Cuarto Año Primer cuatrimestre

Más detalles

Guía Docente. Tipo: Obligatoria Créditos ECTS: 6. Curso: 4 Código: 3639

Guía Docente. Tipo: Obligatoria Créditos ECTS: 6. Curso: 4 Código: 3639 Guía Docente DATOS DE IDENTIFICACIÓN Titulación: Ingeniería Informática Rama de Conocimiento: Ingeniería y Arquitectura Facultad/Escuela: Escuela Politécnica Superior Asignatura: Procesadores de Lenguaje

Más detalles

Universidad Ricardo Palma Facultad de Ingeniería

Universidad Ricardo Palma Facultad de Ingeniería Universidad Ricardo Palma Facultad de Ingeniería Escuela de Ingeniería Informática SILABO 1. INFORMACIÓN GENERAL Asignatura : Lenguajes y Compiladores Ciclo : 8vo. Área : Computación Código : II0803 Condición

Más detalles

Compiladores: Introducción

Compiladores: Introducción Compiladores: Introducción Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. (galvarez@puj.edu.co) Basado en [Aho, 2007, chp. 1] Qué es un COMPILADOR?

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes de programacion. CURSO ACADÉMICO - SEMESTRE Segundo semestre

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes de programacion. CURSO ACADÉMICO - SEMESTRE Segundo semestre ANX-PR/CL/001-01 GUÍA DE APRENDIZAJE ASIGNATURA Traductores de lenguajes de programacion CURSO ACADÉMICO - SEMESTRE 2016-17 - Segundo semestre GA_61CI_615000311_2S_2016-17 Datos Descriptivos Nombre de

Más detalles

División Académica de Informática y Sistemas

División Académica de Informática y Sistemas Área de formación Sustantiva Profesional Nombre de la asignatura Docencia frente a grupo según SATCA Trabajo de Campo Supervisado según SATCA HCS HPS TH C HTCS TH C TC 2 2 4 4 0 0 0 4 Clave de la asignatura

Más detalles

Procesadores de lenguaje Tema 1 Introducción a los compiladores

Procesadores de lenguaje Tema 1 Introducción a los compiladores Procesadores de lenguaje Tema 1 Introducción a los compiladores Salvador Sánchez, Daniel Rodríguez Departamento de Ciencias de la Computación Universidad de Alcalá Resumen del tema Traductores Estructura

Más detalles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA)

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICA ESCUELA PROFESIONAL DE INGENIERÍA DE SOFTWARE 1. INFORMACIÓN GENERAL

Más detalles

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación AREA: Optativas ASIGNATURA: CÓDIGO: CCOM-257 CRÉDITOS: 6 FECHA: 18 de Mayo de 2017 1 1. DATOS GENERALES Nivel Educativo: Licenciatura Nombre

Más detalles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA)

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICA ESCUELA PROFESIONAL DE INGENIERÍA DE SISTEMAS 1. INFORMACIÓN GENERAL

Más detalles

METACOMPILADOR DIDÁCTICO GENERADOR DE CÓDIGO JAVA

METACOMPILADOR DIDÁCTICO GENERADOR DE CÓDIGO JAVA METACOMPILADOR DIDÁCTICO GENERADOR DE CÓDIGO JAVA Erick Leonel Rico Preciado 1, Ana Cristina Bueno Campos 1, José Gerardo Carpio Flores 2, Ruth Sáez de Nanclares Rodríguez 2, Martha Alicia Rocha Sánchez

Más detalles

ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA INFORMÁTICA. Curso 2016/17. Asignatura: PROCESADORES DE LENGUAJES

ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA INFORMÁTICA. Curso 2016/17. Asignatura: PROCESADORES DE LENGUAJES ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA INFORMÁTICA Asignatura: DENOMINACIÓN DE LA ASIGNATURA Denominación: Código: 101424 Plan de estudios: GRADO DE INGENIERÍA INFORMÁTICA Denominación

Más detalles

FACULTAD POLITÉCNICA DIRECCIÓN ACADÉMICA PROGRAMA DE ESTUDIO I. IDENTIFICACIÓN Carrera : Ingeniería de Sistemas CARGA HORARIA (Horas reloj) Asignatura : Compiladores Carga Horaria Semestral 64 Semestre

Más detalles

Procesadores de Lenguajes

Procesadores de Lenguajes Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter

Más detalles

uco.es/grados GUÍA DOCENTE DENOMINACIÓN DE LA ASIGNATURA DATOS DEL PROFESORADO REQUISITOS Y RECOMENDACIONES COMPETENCIAS OBJETIVOS

uco.es/grados GUÍA DOCENTE DENOMINACIÓN DE LA ASIGNATURA DATOS DEL PROFESORADO REQUISITOS Y RECOMENDACIONES COMPETENCIAS OBJETIVOS DENOMINACIÓN DE LA ASIGNATURA Denominación: Código: 1014 Plan de estudios: GRADO DE INGENIERÍA INFORMÁTICA Curso: Denominación del módulo al que pertenece: OBLIGATORIO ESPECIALIDAD COMPUTACIÓN Materia:

Más detalles

Procesadores de Lenguajes

Procesadores de Lenguajes Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter

Más detalles

Campos Fecha de elaboración: 28 de Mayo de 2010 Fecha de última actualización:

Campos Fecha de elaboración: 28 de Mayo de 2010 Fecha de última actualización: PROGRAMA DE ESTUDIO Programa Educativo: Área de Formación : Licenciatura en Sistemas Computacionales Integral Profesional Compiladores Horas teóricas: 2 Horas prácticas: 2 Total de Horas: 4 Total de créditos:

Más detalles

Programa Educativo: Licenciatura en Ciencias PROGRAMA DE ESTUDIO. Obligatoria Programa elaborado por:

Programa Educativo: Licenciatura en Ciencias PROGRAMA DE ESTUDIO. Obligatoria Programa elaborado por: Programa Educativo: Licenciatura en Ciencias PROGRAMA DE ESTUDIO Computacionales Área a la que pertenece : Sustantiva Profesional Horas teóricas: 2 Horas prácticas: 4 Total de Horas: 6 COMPILADORES Total

Más detalles

Horas teóricas: Horas practicas: Área de conocimiento a la que pertenece

Horas teóricas: Horas practicas: Área de conocimiento a la que pertenece PROGRAMA DE ESTUDIOS Área de formación a la que pertenece: TRADUCTORES DE ALTO NIVEL CARRERA LT Sustantiva Profesional Horas teóricas: Horas practicas: 2 2 Créditos: 6 Clave: F0353 Área de conocimiento

Más detalles

UNIVERSIDAD NACIONAL DEL SUR 1 BAHÍA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACIÓN

UNIVERSIDAD NACIONAL DEL SUR 1 BAHÍA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACIÓN UNIVERSIDAD NACIONAL DEL SUR 1 CARRERAS Licenciatura en Ciencias de la Computación PROFESOR RESPONSABLE: Dra. María Laura Cobo Profesora Adjunta con Dedicación Exclusiva CARGA HORARIA Teoría 64hs PARA

Más detalles

INSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCION DE ESTUDIOS PROFESIONALES EN INGENIERIA Y CIENCIAS FISICO MATEMATICAS

INSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCION DE ESTUDIOS PROFESIONALES EN INGENIERIA Y CIENCIAS FISICO MATEMATICAS ESCUELA: UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERÍA Y CIENCIAS SOCIALES Y ADMINISTRATIVAS. CARRERA: INGENIERIA EN INFORMÁTICA ESPECIALIDAD: COORDINACION: ACADEMIAS DE COMPUTACIÓN DEPARTAMENTO:

Más detalles

Procesadores de Lenguajes

Procesadores de Lenguajes Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter

Más detalles

Procesadores de Lenguajes

Procesadores de Lenguajes Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter

Más detalles

Introducción al Diseño de Compiladores. Año

Introducción al Diseño de Compiladores. Año Introducción al Diseño de Compiladores Año 2003 1 BIBLIOGRAFÍA [AHO] Compilers. Principles, Techniques, and Tools Aho, Sethi; Adisson-Wesley 1986 [TEU] Compiladores: Conceptos fundamentales. Teufel ; Addison

Más detalles

PROCESADORES DEL LENGUAJE

PROCESADORES DEL LENGUAJE PROCESADORES DEL LENGUAJE Grado en Ingeniería Informática Ingeniería de Computadores Universidad de Alcalá Curso Académico 2015/16 GUÍA DOCENTE Nombre de la asignatura: Procesadores del lenguaje Código:

Más detalles

UNIVERSIDAD DE GUADALAJARA

UNIVERSIDAD DE GUADALAJARA UNIVERSIDAD DE GUADALAJARA CENTRO UNIVERSITARIO DE LOS ALTOS DIVISIÓN DE ESTUDIOS EN FORMACIONES SOCIALES LICENCIATURA: INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE POR OBJETIVOS COMPILADORES MTRA.

Más detalles

Unidad I Introducción a la programación de Sistemas. M.C. Juan Carlos Olivares Rojas

Unidad I Introducción a la programación de Sistemas. M.C. Juan Carlos Olivares Rojas Unidad I Introducción a la programación de Sistemas M.C. Juan Carlos Olivares Rojas Agenda 1.1 Qué es y que estudia la programación de sistemas? 1.2 Herramientas desarrolladas con la teoría de programación

Más detalles

PROCESADORES DEL LENGUAJE

PROCESADORES DEL LENGUAJE PROCESADORES DEL LENGUAJE Grado en Ingeniería Informática Grado en Ingeniería de Computadores Universidad de Alcalá Curso Académico 2016/2017 Curso 3º Cuatrimestre 1º GUÍA DOCENTE Nombre de la asignatura:

Más detalles

BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN

BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA MATERIA CORRESPONDIENTE A LA LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA:

Más detalles

Traductores de Lenguajes

Traductores de Lenguajes Traductores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Traductores de Lenguajes Optatividad LSIIS Créditos ECTS 3 Carácter

Más detalles

Traductores de Lenguajes

Traductores de Lenguajes Traductores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Traductores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter

Más detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO. Licenciatura en Ciencias de la Computación. Facultad de Ciencias. Programa de la asignatura.

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO. Licenciatura en Ciencias de la Computación. Facultad de Ciencias. Programa de la asignatura. UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO Licenciatura en Ciencias de la Computación Facultad de Ciencias Denominación de la asignatura: Clave: 0817 Semestre: 7 Carácter: Obligatoria Tipo: Teórico-Práctica

Más detalles

PROCESADORES DEL LENGUAJE

PROCESADORES DEL LENGUAJE PROCESADORES DEL LENGUAJE Grado en Ingeniería Informática Grado en Ingeniería de Computadores Universidad de Alcalá Curso Académico 2017/2018 Curso 3º Cuatrimestre 1º GUÍA DOCENTE Nombre de la asignatura:

Más detalles

BENÉMERITA UNIVERSIDAD AUTÓNOMA DE PUEBLA VICERRECTORÍA DE DOCENCIA DIRECCIÓN GENERALDE EDUCACIÓN SUPERIOR FACULTAD DE CIENCIAS DE LA COMPUTACIÓN

BENÉMERITA UNIVERSIDAD AUTÓNOMA DE PUEBLA VICERRECTORÍA DE DOCENCIA DIRECCIÓN GENERALDE EDUCACIÓN SUPERIOR FACULTAD DE CIENCIAS DE LA COMPUTACIÓN Programa Educativo (PE): Licenciatura en Ciencias de la Computación Área: Ciencias de la Computación Programa de Asignatura: Compiladores Código: CCOM-257 Créditos: 5 Fecha: 14 de Julio de 2009 1 1. DATOS

Más detalles

Aprendizaje basado en intereses: Una experiencia en la asignatura de Procesadores de Lenguajes

Aprendizaje basado en intereses: Una experiencia en la asignatura de Procesadores de Lenguajes Actas XVIII JENUI 2012, Ciudad Real, 10-13 de julio 2012 I.S.B.N. 10: 84-615-7157-6 I.S.B.N. 13:978-84-615-7157-4 Páginas 49-56 Aprendizaje basado en intereses: Una experiencia en la asignatura de Procesadores

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes. CURSO ACADÉMICO - SEMESTRE Segundo semestre

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes. CURSO ACADÉMICO - SEMESTRE Segundo semestre ANX-PR/CL/001-01 GUÍA DE APRENDIZAJE ASIGNATURA Traductores de lenguajes CURSO ACADÉMICO - SEMESTRE 2016-17 - Segundo semestre GA_10II_105000048_2S_2016-17 Datos Descriptivos Nombre de la Asignatura Titulación

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Procesadores de lenguajes. CURSO ACADÉMICO - SEMESTRE Segundo semestre

ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Procesadores de lenguajes. CURSO ACADÉMICO - SEMESTRE Segundo semestre ANX-PR/CL/001-02 GUÍA DE APRENDIZAJE ASIGNATURA Procesadores de lenguajes CURSO ACADÉMICO - SEMESTRE 2014-15 - Segundo semestre FECHA DE PUBLICACIÓN Diciembre - 2014 GA_10II_105000019_2S_2014-15 Datos

Más detalles

Un. I. Introducción a la programación de sistemas

Un. I. Introducción a la programación de sistemas Un. I. Introducción a la programación de sistemas 1.1 Qué es la programación de sistemas? La programación de sistemas comprende el desarrollo de aquellos programas de computadora que tienen una fuerte

Más detalles

UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN

UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN CARRERA/S: Licenciatura en Ciencias de la Computación (Cód. 14) PLAN DE ESTUDIOS:

Más detalles

Nombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil

Nombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil Nombre de la asignatura: Lenguajes y Autómatas I Créditos: 2 3 5 Aportación al perfil Desarrollar, implementar y administrar software de sistemas o de aplicación que cumpla con los estándares de calidad

Más detalles

ASIGNATURA: COMPILADORS (EUIS-UAB) Aula Teoría Martes 23 Problemas Viernes Aula 23. Profesor Consultas

ASIGNATURA: COMPILADORS (EUIS-UAB) Aula Teoría Martes 23 Problemas Viernes Aula 23. Profesor Consultas Pàgina 1 de 8 Enginyeria Tècnica Informàtica Escola Universitària de Sabadell (UAB) 6è Semestre Curso 2005-20 Créditos Horarios Teoria y Problemas 3 Aula Teoría Martes 23 Problemas Viernes Aula 23 11:00

Más detalles

Pontificia Universidad Católica del Ecuador

Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: COMPILADORES E INTERPRETES CÓDIGO: 10730 CARRERA: NIVEL: SISTEMAS QUINTO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO: 2 / 2010

Más detalles

LP - Lenguajes de Programación

LP - Lenguajes de Programación Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 723 - CS - Departamento de Ciencias de la Computación Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA (Plan

Más detalles

Programa de Estudios por Competencias COMPILADORES

Programa de Estudios por Competencias COMPILADORES Dirección de Estudios Profesionales Coordinación de Desarrollo Curricular I. IDENTIFICACIÓN DEL CURSO Programa de Estudios por Competencias COMPILADORES ORGANISMO ACADÉMICO: FACULTAD DE INGENIERÍA Programa

Más detalles

Grado en Ingeniería Informática

Grado en Ingeniería Informática Grado en Ingeniería Informática CENTRO RESPONSABLE: FACULTAD DE CIENCIAS RAMA: Ingeniería y Arquitectura CRÉDITOS: 240,00 DISTRIBUCIÓN DE CRÉDITOS DE LA TITULACIÓN FORMACIÓN BÁSICA: 72,00 OBLIGATORIOS:

Más detalles

UNIVERSIDAD DE LOS LLANOS Facultad de Ciencias Básicas e Ingeniería Programa Ingeniería de Sistemas ALGORITMIA AVANZADA

UNIVERSIDAD DE LOS LLANOS Facultad de Ciencias Básicas e Ingeniería Programa Ingeniería de Sistemas ALGORITMIA AVANZADA CURSO: ALGORITMIA AVANZADA 1 SEMESTRE: VII 2 CODIGO: 602802 3 COMPONENTE: 4 CICLO: 5 AREA: Profesional 6 FECHA DE APROBACIÓN: 7 NATURALEZA: Teórico - Practica 8 CARÁCTER: Obligatorio 9 CREDITOS (RELACIÓN):

Más detalles

Tema 1.4. Un lenguaje mínimo y su procesador: El lenguaje objeto y la máquina virtual

Tema 1.4. Un lenguaje mínimo y su procesador: El lenguaje objeto y la máquina virtual Tema 1.4. Un lenguaje mínimo y su procesador: El lenguaje objeto y la máquina virtual Profesor Federico Peinado Elaboración del material José Luis Sierra Federico Peinado Ingeniería en Informática Facultad

Más detalles

Descriptor. Objetivos (1) Objetivos (2)

Descriptor. Objetivos (1) Objetivos (2) Descriptor Máquinas secuenciales y autómatas finitos. Gramáticas y lenguajes formales. Construcción de intérpretes y compiladores. Créditos teóricos: 4,5. Créditos prácticos: 4,5. ALeF. Presentación de

Más detalles

Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones

Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones Francisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide Universidad Rey Juan Carlos, Laboratorio

Más detalles

GUÍA DOCENTE Procesadores de Lenguajes

GUÍA DOCENTE Procesadores de Lenguajes GUÍA DOCENTE 2017-2018 Procesadores de Lenguajes 1. Denominación de la asignatura: Procesadores de Lenguajes Titulación Grado de Ingeniería en Informática Código 6368 2. Materia o módulo a la que pertenece

Más detalles

Visualizaciones efectivas de la recuperación de errores sintácticos con VAST

Visualizaciones efectivas de la recuperación de errores sintácticos con VAST Visualización de la recuperación de errores sintácticos con VAST1 Visualizaciones efectivas de la recuperación de errores sintácticos con VAST Jaime Urquiza-Fuentes & Francisco Almeida-Martínez Seminario

Más detalles

PROGRAMA DE COMPILADORES

PROGRAMA DE COMPILADORES 1. Introducción 1.1. Tipos de traductores 1.2. Autómatas 1.3. Gramáticas formales 1.4. Fases de un compilador PROGRAMA DE COMPILADORES 2. Análisis Léxico 2.1. Definir un reconocedor de cadenas no trivial

Más detalles

SÍLABO DEL CURSO DE COMPILADORES Y LENGUAJES DE PROGRAMACIÓN

SÍLABO DEL CURSO DE COMPILADORES Y LENGUAJES DE PROGRAMACIÓN SÍLABO DEL CURSO DE COMPILADORES Y LENGUAJES DE PROGRAMACIÓN I. INFORMACIÓN GENERAL 1.1 Facultad Ingeniería 1.2 Carrera Profesional Ingeniería en Sistemas Computacionales 1.3 Departamento 1.4 Requisito

Más detalles

Tema 1. Introducción

Tema 1. Introducción Departamento de Tecnologías de la Información Tema 1 Introducción Ciencias de la Computación e Inteligencia Artificial Índice 1.1 Conceptos 1.2 Un poco de historia 1.3 Estructura de un compilador 1.4 Teoría

Más detalles

Programa de la asignatura Curso: 2008 / 2009 AUTÓMATAS Y LENGUAJES FORMALES (1314)

Programa de la asignatura Curso: 2008 / 2009 AUTÓMATAS Y LENGUAJES FORMALES (1314) Programa de la asignatura Curso: 2008 / 2009 AUTÓMATAS Y LENGUAJES FORMALES (1314) PROFESORADO Profesor/es: CÉSAR IGNACIO GARCÍA OSORIO - correo-e: cgosorio@ubu.es FICHA TÉCNICA Titulación: INGENIERÍA

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE

ANX-PR/CL/ GUÍA DE APRENDIZAJE PROCESO DE COORDINACIÓN DE LAS ENSEÑANZAS PR/CL/001 ASIGNATURA 105000019 - PLAN DE ESTUDIOS 10II - CURSO ACADÉMICO Y SEMESTRE 2017-18 - Primer semestre Índice Guía de Aprendizaje 1. Datos descriptivos...1

Más detalles

PROCESADORES DEL LENGUAJE II

PROCESADORES DEL LENGUAJE II ASIGNATURA DE GRADO: PROCESADORES DEL LENGUAJE II Curso 2016/2017 (Código:71013118) 1.PRESENTACIÓN DE LA ASIGNATURA La asignatura de Procesadores de Lenguajes II se imparte en el segundo semestre del tercer

Más detalles

Tema 1: Introducción

Tema 1: Introducción Tema 1: Introducción Procesamiento de Lenguajes Dept. de Lenguajes y Sistemas Informáticos Universidad de Alicante Procesamiento de Lenguajes Tema 1: Introducción 1 / 28 Definición de compilador Un compilador

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE

ANX-PR/CL/ GUÍA DE APRENDIZAJE PROCESO DE COORDINACIÓN DE LAS ENSEÑANZAS PR/CL/001 ASIGNATURA 105000048 - PLAN DE ESTUDIOS 10II - CURSO ACADÉMICO Y SEMESTRE 2018/19 - Segundo semestre Índice Guía de Aprendizaje 1. Datos descriptivos...1

Más detalles

ANX-PR/CL/ GUÍA DE APRENDIZAJE

ANX-PR/CL/ GUÍA DE APRENDIZAJE PROCESO DE COORDINACIÓN DE LAS ENSEÑANZAS PR/CL/001 ASIGNATURA 105000130 - PLAN DE ESTUDIOS 10MI - CURSO ACADÉMICO Y SEMESTRE 2018/19 - Primer semestre Índice Guía de Aprendizaje 1. Datos descriptivos...1

Más detalles

Visualización de Árboles Sintácticos en la Enseñanza de Procesadores de Lenguajes

Visualización de Árboles Sintácticos en la Enseñanza de Procesadores de Lenguajes Visualización de Árboles Sintácticos en la Enseñanza de Procesadores de Lenguajes Francisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide Departamento de Lenguajes y Sistemas

Más detalles

Guía Docente Modalidad A Distancia. Compiladores. Curso 2017/18. Grado en Ingeniería de. Sistemas de Información

Guía Docente Modalidad A Distancia. Compiladores. Curso 2017/18. Grado en Ingeniería de. Sistemas de Información Guía Docente Modalidad A Distancia Compiladores Curso 2017/18 Grado en Ingeniería de Sistemas de Información 1 Datos descriptivos de la Asignatura Nombre: COMPILADORES Carácter: OPTATIVA Código: 40303GH

Más detalles

Procesadores de Lenguajes

Procesadores de Lenguajes Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Desarrollo de Software LSIIS Créditos

Más detalles

PROGRAMA DE COMPILADORES

PROGRAMA DE COMPILADORES PROGRAMA DE COMPILADORES 1. Introducción 1.1. Tipos de traductores 1.2. Autómatas 1.3. Gramáticas formales 1.4. Fases de un compilador 2. Análisis Léxico 2.1. Definir un reconocedor de cadenas no trivial

Más detalles

Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones

Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones 181 Capítulo 25 Mejorando el aprendizaje de Procesadores de Lenguajes mediante visualizaciones Francisco J. Almeida Martínez,

Más detalles

PRESENTACIÓN Y CONTEXTUALIZACIÓN

PRESENTACIÓN Y CONTEXTUALIZACIÓN ASIGNATURA DE GRADO: PROCESADORES DEL LENGUAJE I Curso 2017/2018 (Código de asignatura : 71013130) NOMBRE DE LA ASIGNATURA PROCESADORES DEL LENGUAJE I CÓDIGO 71013130 CURSO ACADÉMICO 2017/2018 DEPARTAMENTO

Más detalles

DURACIÓN Y UBICACIÓN TEMPORAL DENTRO DEL PLAN DE ESTUDIOS

DURACIÓN Y UBICACIÓN TEMPORAL DENTRO DEL PLAN DE ESTUDIOS 5.3.2.7 FICHA DE LA MATERIA PROGRAMACIÓN DENOMINACIÓN DE LA MATERIA PROGRAMACIÓN MÓDULO AL QUE PERTENECE CRÉDITOS ECTS 30 CARÁCTER Obligatoria DURACIÓN Y UBICACIÓN TEMPORAL DENTRO DEL PLAN DE ESTUDIOS

Más detalles

Carácter Modalidad Horas de estudio semestral (16 semanas)

Carácter Modalidad Horas de estudio semestral (16 semanas) PROGRAMA DE ESTUDIOS: TEORÍA DE LA COMPUTACIÓN PROTOCOLO Fechas Mes/año Clave Semestre 5 o Elaboración 05-2010 Nivel Licenciatura X Maestría Doctorado Aprobación Ciclo Integración Básico Superior Aplicación

Más detalles

GUÍA DOCENTE DE PROYECTO DE AUTÓMATAS Y LENGUAJES

GUÍA DOCENTE DE PROYECTO DE AUTÓMATAS Y LENGUAJES GUÍA DOCENTE DE PROYECTO DE AUTÓMATAS Y LENGUAJES La presente guía docente corresponde a la asignatura Proyecto de Autómatas y Lenguajes (PAyL) del Grado en Ingeniería Informática, aprobada para el curso

Más detalles

Lenguajes de programación

Lenguajes de programación Introducción Lenguajes de programación Primera generación: lenguajes máquina Los programas se escriben en código binario 000001011010000000000000 Segunda generación: lenguajes simbólicos Cada instrucción

Más detalles

NOMBRE DEL CURSO: Organización de Lenguajes y Compiladores 2 CÓDIGO: 781 CRÉDITOS: 5 ÁREA A LA QUE PERTENECE: POST-REQUISITO:

NOMBRE DEL CURSO: Organización de Lenguajes y Compiladores 2 CÓDIGO: 781 CRÉDITOS: 5 ÁREA A LA QUE PERTENECE: POST-REQUISITO: UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA ESCUELA DE CIENCIAS NOMBRE DEL CURSO: Organización de Lenguajes y Compiladores 2 CÓDIGO: 781 CRÉDITOS: 5 ESCUELA: Ciencias y Sistemas ÁREA

Más detalles

NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación

NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación CODIGO: 796 CREDITOS: 3 ESCUELA: Ciencias

Más detalles

GUÍA DE APRENDIZAJE TEORÍA DE LENGUAJES DE PROGRAMACIÓN GRADUADO EN INGENIERÍA DE COMPUTADORES

GUÍA DE APRENDIZAJE TEORÍA DE LENGUAJES DE PROGRAMACIÓN GRADUADO EN INGENIERÍA DE COMPUTADORES GUÍA DE APRENDIZAJE TEORÍA DE LENGUAJES DE PROGRAMACIÓN DATOS DESCRIPTIVOS 1 GRADUADO EN INGENIERÍA DE COMPUTADORES CENTRO RESPONSABLE E.U. de Informática OTROS CENTROS IMPLICADOS CICLO Grado sin atribuciones

Más detalles

Un entorno para el desarrollo de proyectos en la enseñanza activa de un curso de Compiladores

Un entorno para el desarrollo de proyectos en la enseñanza activa de un curso de Compiladores Congreso In-Red 2016 UPV, 7 y 8 de julio de 2016 Doi: http://dx.doi.org/10.4995/inred2016.2016.4368 Un entorno para el desarrollo de proyectos en la enseñanza activa de un curso de Compiladores José Miguel

Más detalles

Carrera: Participantes

Carrera: Participantes 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: PROCESAMIENTO DE LENGUAJE NATURAL LICENCIATURA EN INFORMÁTICA. Clave de la asignatura: Horas teoría-horas prácticacréditos 1-3-5 2.- HISTORIA

Más detalles

PROCESADORES DEL LENGUAJE II

PROCESADORES DEL LENGUAJE II ASIGNATURA DE GRADO: PROCESADORES DEL LENGUAJE II Curso 2015/2016 (Código:71013118) 1.PRESENTACIÓN DE LA ASIGNATURA La asignatura de Procesadores de Lenguajes II se imparte en el segundo semestre del tercer

Más detalles

HORARIO DE CLASES CURSO 2016/2017

HORARIO DE CLASES CURSO 2016/2017 HORARIO DE CLASES CURSO 2016/2017 GRADUADO EN ESPAÑOL: LENGUA Y LITERATURA (2016/2017) CURSO: PRIMERO SEMESTRE: PRIMERO Literatura Española. Edad Media Bases Culturales del Mundo Occidental Cultura y Literatura

Más detalles

Materia compuesta por 6 asignaturas programadas entre el 3º y el 6º semestre, tal y como se recoge a continuación en la tabla de asignaturas

Materia compuesta por 6 asignaturas programadas entre el 3º y el 6º semestre, tal y como se recoge a continuación en la tabla de asignaturas 5.3.2.9 FICHA DE LA MATERIA DESARROLLO DE SOFTWARE DENOMINACIÓN DE LA MATERIA DESARROLLO DE SOFTWARE MÓDULO AL QUE PERTENECE CRÉDITOS ECTS 24 DURACIÓN Y UBICACIÓN TEMPORAL DENTRO DEL PLAN DE ESTUDIOS CARÁCTER

Más detalles

Computación.

Computación. www.upv.es www.inf.upv.es Origen de las diferentes ramas (modelo USA) Primeros programas Undergraduate relacionados con los computadores: Computer Science, Electrical Engineering, y Information Systems.

Más detalles

COMPILACIÓN I

COMPILACIÓN I COMPILACIÓN I http://ji.ehu.es/konpi1 Profesores: Eneko Agirre, Nerea Ezeiza, Julian Gutierrez (Información sobre tutorías, teléfonos, etc. en página web) Objetivos: El propósito de esta asignatura es

Más detalles

GUÍA DOCENTE PROCESADORES DE LENGUAGE

GUÍA DOCENTE PROCESADORES DE LENGUAGE Año académico 2015-16 GUÍA DOCENTE PROCESADORES DE LENGUAGE Profesorado: Jordi Planes Cid Maria Teresa Alsinet Bernadó Información general de la asignatura Denominación Carácter PROCESADORES DE LENGUAGE

Más detalles

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación AREA: Ciencias de la Computación ASIGNATURA: CÓDIGO: CCOM-257 CRÉDITOS: 5 FECHA: 7 de Junio de 2012 1 1. DATOS GENERALES Nivel Educativo:

Más detalles

III.Otrasdisposicionesyactos

III.Otrasdisposicionesyactos Página5514/Núm.36 BOLETÍNOFICIALDELARIOJA Miércoles,18demarzode2015 III.Otrasdisposicionesyactos UNIVERSIDADINTERNACIONALDELARIOJA Resoluciónde4demarzode2015,delaUniversidadInternacionaldeLaRioja,porlaquesepublica

Más detalles

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I Tema 1: Introducción Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison Wesley.

Más detalles

BOLETÍN OFICIAL DE LA RIOJA. III.Otras disposiciones y actos

BOLETÍN OFICIAL DE LA RIOJA. III.Otras disposiciones y actos Lunes, 28 de mayo de 2018 Página 7215 III.Otras disposiciones y actos UNIVERSIDAD INTERNACIONAL DE LA RIOJA Resolución de 11 de julio de 2016, de la Universidad Internacional de La Rioja, por la que se

Más detalles