Planificaciones LENGUAJES DE PROGRAMACIÓN. Docente responsable: KUHN MONICA. 1 de 13

Transcripción

1 Planificaciones LENGUAJES DE PROGRAMACIÓN Docente responsable: KUHN MONICA 1 de 13

2 OBJETIVOS Aprender el significado (semántica) de las distintas componentes de un programa para la verificación y corrección de los mismos. Aprender a través de distintos enfoques el aspecto semántico del diseño de distintos lenguajes de. Aprender a traducir formalmente lenguajes de. CONTENIDOS MÍNIMOS - PROGRAMA SINTÉTICO Unidad I operacional Máquina abstracta. Configuración, relación de transición y estado. Configuración inicial y final. Run de la máquina. Unidad II denotacional de Lenguajes de Definición. Valor derecho y valor izquierdo. Ambiente y estado. Diagramas de Strachey. de expresiones, comandos, de declaraciones y de programa. Unidad III axiomática de Lenguajes de axiomática de Hoare, de Floyd y de Dijkstra. Comandos de Dijkstra. Precondición más débil. Axiomas. Invariante de un ciclo. Función Variante. Unidad IV Compiladores Analizador léxico. Analizador sintáctico. Recuperación de errores. Generación y optimización de código. PROGRAMA ANALÍTICO Unidad 1: operacional Definición de las componentes de un lenguaje de. Uso de la semántica formal: inplementación, verificación y diseño de lenguajes de. Definición de un sistema de transición. Máquina abstracta: configuración y su relación de transición. Estado. Configuración inicial y final. Run de la máquina. Unidad 2: denotacional de lenguajes de Definición. de corrientes variables. Valor derecho y valor izquierdo. Diagramas de Stranchey. Ambiente y Estado. de expresiones, comandos. Función cambio de Estado. Significado de comandos, de declaraciones y de programas. Unidad 3: Axiomática de Lenguajes de Programación axiomática de Hoare con precondición y postcondición. s axiomáticas de Floyd con aserciones para corrección de programa. axiomática de Dijkstra: Comandos de Dijkstra. Precondición más débil. Axiomas. Corrección parcial, global y total de programas. Invariantes de un ciclo. Función Variante. Unidad 4: Compiladores Compiladores. Analizador léxico. Analizador sintáctico descendente recursivo. Códigos intermedios. Traducción dirigida por la sintaxis. Manejo de errores en el análisis léxico y en el análisis sintáctico. Errores semánticos. Recuperación de errores. Generación y optimización de código. BIBLIOGRAFÍA by Glynn Winskel - Discipline by E.W.Dijkstra Prentice 2 de 13

3 Design and M. Zelkowitz Michael International. Design and International. - Semantics of : Structures and Techniques. by Carl Gunter - MIT Press, Cambridge, Massachusetts - Construcción de de N.Wirth Ed. El de -Schmidt- - Java y UML de Carlos Fontela Ed. Nueva Librería RÉGIMEN DE CURSADA Metodología de enseñanza - Clases teórico-prácticas Exposición teórica de conceptos, con resolución metódica tipo y ensayos sobre objetivos. - Clases prácticas Resolución, por parte de los alumnos y controlada por los docentes auxiliares, correspondientes a las unidades temáticas del programa, ya sea por escrito o por computadora (programas). En general se tratará abiertos, que generen dudas y motiven la consulta a los docentes y la profundización del conocimiento a través de la bibliografía. Durante el curso se plantearán trabajos prácticos con problemas complejos a resolver por, que los alumnos deberán desarrollar individualmente. - Clases de consulta Modalidad de Evaluación Parcial Evaluación De manejo de conceptos, aplicación de conocimientos y dominio de técnicas, mediante la respuesta a preguntas y la resolución por escrito en evaluaciones parciales e integradoras, y el desarrollo controlado de trabajos prácticos en computadora. Las evaluaciones parciales e integradoras son por unidades o subunidades temáticas. 3 de 13

4 La evaluación de los trabajos por computadora es por presentación en tiempo y forma (plazos y formato establecido), método de desarrollo (aplicación de método de desarrollo de programas visto en el curso) y corrección del resultado (cumplimiento de objetivos del programa) 4 de 13

5 CALENDARIO DE CLASES <1> 05/03 al 10/03 operacional Ejercitación de inserción de aserciones en un programa con la semántica operacional de Floyd Design and by T. Pratt y M. Zelkowitz Editorial Prentice Michael International. <2> 12/03 al 17/03 operacional Ejercitación de inserción de aserciones en un programa con la semántica operacional de Floyd Design and International. - Java y UML de Carlos Fontela <3> 19/03 al 24/03 denotacional Ejercitación de analisis del significado de distintas instrucciones en distintos lenguajes de en Denotacional Design and 5 de 13

6 <4> 26/03 al 31/03 denotacional Ejercitación de analisis del significado de distintas instrucciones en distintos lenguajes de en Denotacional International. Design and International. - Semantics of : Structures and Techniques. by Carl Gunter - MIT Press, Cambridge, Massachusetts Design and 6 de 13

7 <5> 02/04 al 07/04 denotacional Ejercitación de analisis del significado de distintas instrucciones en distintos lenguajes de en Denotacional International. Design and International. - Semantics of : Structures and Techniques. by Carl Gunter - MIT Press, Cambridge, Massachusetts Design and International. 7 de 13

8 <6> 09/04 al 14/04 axiomática Ejercitación para hallar la precondición más débil aplicado a distintos comandos y su combinación en programas Design and International. - Semantics of : Structures and Techniques. by Carl Gunter - MIT Press, Cambridge, Massachusetts - Discipline of programming de E.W.Dijkstra Prentice Design and International. - Java y UML de Carlos Fontela 8 de 13

9 <7> 16/04 al 21/04 <8> 23/04 al 28/04 axiomática axiomática Ejercitación para hallar la precondición más débil aplicado a distintos comandos y su combinación en programas Ejercitación para hallar la precondición más débil aplicado a distintos comandos y su combinación en programas Ed. Nueva Libreria - Discipline of programming de E.W.Dijkstra Prentice Design and International. - Java y UML de Carlos Fontela Ed. Nueva Libreria - Discipline of programming de E.W.Dijkstra Prentice Design and International. - Java y UML de Carlos Fontela 9 de 13

10 <9> 30/04 al 05/05 <10> 07/05 al 12/05 axiomática Ejercitación para hallar la precondición más débil aplicado a distintos comandos y su combinación en programas Ed. Nueva Libreria - Discipline of programming de E.W.Dijkstra Prentice Design and International. - Java y UML de Carlos Fontela Ed. Nueva Libreria Compiladores Análisis léxico - Construcción de de -Schmidt- <11> 14/05 al 19/05 Compiladores Análisis sintáctico - Construcción de 10 de 13

11 de -Schmidt- <12> 21/05 al 26/05 <13> 28/05 al 02/06 <14> 04/06 al 09/06 Compiladores Análisis semántico - Construcción de de -Schmidt- Compiladores Generación de código - Construcción de de -Schmidt- Compiladores Recuperación de errores - Construcción de de -Schmidt- <15> 11/06 al 16/06 Compiladores Optimización del código durante la generación 21/11/ Construcción de 11 de 13

12 de -Schmidt- <16> 18/06 al 23/06 Compiladores Refinamiento del compilador 28/11/ Construcción de de -Schmidt- 12 de 13

13 CALENDARIO DE EVALUACIONES Evaluación Parcial Oportunidad Semana Fecha Hora Aula 1º 21/11 19:00 2º 28/11 19:00 3º 4º 13 de 13