Diferencias

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

--- compiladores:main [2020/06/10 21:06] – [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 112: / Línea 114: @@
     * ** 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 ====