Diferencias

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

--- compiladores:main [2020/05/07 19:09] – [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 108: / Línea 110: @@
     * ** 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 157: / Línea 163: @@
    - {{: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: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.