[S13] Boletín Semanal

Gaspar Ricci 16 Nov 202216/11/22 a las 07:58 hrs.2022-11-16 07:58:16

Hitos Evaluativos

Entrega 5: Recolector de Basura | Plazo hasta 27/11
Quiz 5: Se publicará el lunes 28/11 a las 08:30 AM y estará abierto por 48 hrs.
Recuerden que los quizzes evalúan los contenidos de sus respectivas entregas. 

Temas de la Semana

Plazo Recomendado: Martes 22/11

Demostrar la Correctitud de un Compilador
[Apuntes: CPDT] [Videos: Intro to Coq & Definitions | Proving Compiler Correct]
Video 1:
  • Breve introducción a Coq
  • Definición del lenguaje source (AST)
  • Implementación del evaluador
  • Implementación de la máquina de pila
Video 2:
  • Implementación del compilador
  • ¿Cómo podemos enunciar el teorema de correctitud?
  • Demostración de la correctitud

Pueden llevar sus dudas a la clase del Martes 22/11
Recordatorio: Las clases de los martes son en modalidad online en el siguiente link que también está disponible en la sección «Enlaces»

No olviden el Discord del curso!

Mucho éxito en todo! :D
Categoría Boletines
Última Modificación 16 Nov 202216/11/22 a las 07:58 hrs.2022-11-16 07:58:16
Vistas Únicas 9
Compartir