Boletín semanal del 29 de noviembre 2021

Tomas Vallejos P. 29 Nov 202129/11/21 at 10:242021-11-29 10:24:29

Hitos evaluativos
  • Entrega 5 deadline 5 de diciembre
  • Quiz 5: 2 de diciembre
  • Los quizzes serán de la materia de sus respectivas entregas

Tema de la semana: Probando un compilador correcto
[material complementario: stack machine , compcert ] [videos1 , video2 ]
  • ¿Qué es un asistente de pruebas?
  • Principio de inducción y recursión sobre expresiones
  • Implementación de un evaluador y compilador en Coq
  • Enunciar teoremas sobre programas
  • Probar la correctitud de un compilador
  • Extraer un módulo en Coq
Nos vemos el jueves a las 17:00 para aclarar las dudas que tengan.

Reuniones agendadas
  • Reunión con Diego:
        Grupo 2: lunes 29 de noviembre, a las 18:00
        Grupo 1: lunes 29 de noviembre, a las 19:00
        Grupo 6: lunes 29 de noviembre, a las 21:00

Finalmente, no se olviden del Discord: discord.gg/pa8rRGVBGD
Category Boletines
Last Edit 29 Nov 202129/11/21 at 15:572021-11-29 15:57:29
Unique Views 15
Compartir