Diferencias

Muestra las diferencias entre dos versiones de la página.

--- compiladores:main [2020/04/24 21:19] – [Prácticos] alegadea
+++ compiladores:main [2020/07/21 13:38] (actual) – [Lenguajes y Compiladores] gramagli
@@ Línea 6: / Línea 6: @@
   * Para incorporarse al grupo enviar un mail a cualquier miembro de la cátedra.
+  * IMPORTANTE: La información completa sobre la materia y los turnos de exámenes la encontrará en el aula virtual de la materia: https://www.famaf.proed.unc.edu.ar/course/view.php?id=587
@@ Línea 105: / Línea 107: @@
     * ** Semana del 8 al 10 de abril. ** Sintaxis abstracta y semántica denotacional del Lenguaje Imperativo Simple con Fallas. Semántica operacional de LIS. La relación "small-step". Configuraciones. Definición axiomática de la relación "small-step".Semántica de transiciones de LIS. Noción de Ejecución.
     * ** Semana del 15 al 17 de abril. ** Corrección de la semántica de transiciones de LIS respecto de la semántica denotacional. (Ver apunte en Material ccomplementario de la primera parte) Semántica de transiciones de LIS con fallas. (Filminas del Eje 3 Segunda parte) Producto de dominios. Uniones disjuntas de predominios. Definiciones, cadenas y supremos en estas construcciones. (Filminas del Eje 3 tercera parte, diapositivas 1 a 7)
-    * ** Semana del 22 al 24 de abril ** Cálculo Lambda, su sintaxis. Sustitución. Conversión alpha. Redex beta. Noción de contracción y reducción. Formas normales. Distintos órdenes de reducción. Noción de ejecución: definición de la semántica small-step. Propiedades y ejemplos.
+    * ** Semana del 22 al 24 de abril ** Sintaxis y semántica del lenguaje imperativo con fallas y output. Definición del dominio semántico mediante ecuaciones recursivas de dominio. Ejemplos.
+    * ** Semana del 29 al 1 de mayo ** Sintaxis y semántica del lenguaje imperativo con fallas, input y output. Definición del dominio semántico mediante ecuaciones recursivas de dominio. Ejemplos.
+    * ** Semana del 6 al 8 de mayo ** Cálculo Lambda, su sintaxis. Sustitución. Conversión alpha. Redex beta. Noción de contracción y reducción. Formas normales. Distintos órdenes de reducción. Noción de ejecución: definición de la semántica small-step. Propiedades y ejemplos.
+    * ** Semana del 11 al 15 de mayo ** Noción de evaluación. Evaluación normal e eager. Reglas axiomáticas.
+    * ** Semana del 18 al 22 de mayo ** Semántica denotacional del CL: el dominio D infinito. Ecuaciones semánticas. Propiedades de la semántica: reglas beta y eta, Teorema de Coincidenia, Sustitución y Renombre. Ejemplos.
+    * ** Semana del 26 al 29 de mayo ** Semántica denotacional para las evaluaciones eager y normal del CL. Ecuaciones semánticas. Ejemplos. Análisis de la validez de propiedades de la semántica: regla beta, eta, Teoremas de Coincidencia, renombre y sustitución.
+    * ** Semana del 1 al 5 de junio ** Lenguajes aplicativos eager y normal. Fragmento básico. Sintaxis abstracta. Semántica operacional big-step: reglas para las evaluaciones eager y normal. (Los contenidos no reproducen el orden de las diapositivas: ver Diap. 4 a 11, 26 a 29 y 37 a 40)
+    * ** Semana del 8 al 12 de junio ** Semántica denotacional eager y normal del lenguaje aplicativo (fragmento básico) Diapositivas 12-25
+    * ** Semana del 16 al 19 de junio ** Semántica denotacional eager y normal de la recursión en el lenguaje aplicativo. Diapositivas 40 al final.
 /*
 ==== Contenidos de cada Clase - Año 2019 ====
@@ Línea 154: / Línea 162: @@
   - {{:compiladores:2020:5_2020.pdf| Guía del 10 de abril}} Fallas. Semántica operacional del lenguaje imperativo simple.
    - {{:compiladores:2020:6_2020.pdf| Guía del 17 de abril}} Productos y uniones disjuntas de predominios. Dominios recursivos. Output e Input.
+   - {{:compiladores:2020:7_2020.pdf| Guía del 6 de mayo}} Cálculo Lambda, sintaxis. Reducción. Formas canónicas y normales.  Evaluación Normal e eager.
+   - {{:compiladores:2020:8_2020.pdf| Guía del 20 de mayo}} Semántica denotacional del Cálculo Lambda, la evaluación normal y la evaluación eager.
+   - {{:compiladores:2020:9_eval_2020.pdf| Guía del 03 de junio}} Lenguaje aplicativo. Evaluación eager y normal.
+   - {{:compiladores:2020:9_deno_2020.pdf| Guía del 10 de junio}} Lenguaje aplicativo. Semántica denotacional eager y normal.
 === Prácticos 2019 ===
-   - {{:compiladores:7_2019.pdf| Guía del 8 de mayo}} Cálculo Lambda, sintaxis. Reducción. Formas canónicas y normales.  Evaluación Normal e eager.
-   - {{:compiladores:8_2019.pdf| Guía del 15 de mayo}} Semántica denotacional del Cálculo Lambda, la evaluación normal y la evaluación eager.
-   - {{:compiladores:9_2019.pdf| Guía del 17 de mayo}} Lenguaje aplicativo. Evaluación y semántica denotacional eager y normal.
   - {{:compiladores:10_2019.pdf| Guía del 5 de junio}} Lenguaje aplicativo con referencias y asignación.