[S14] Boletín Semanal
Gaspar Ricci 18 Nov 202418/11/24 a las 08:13 hrs.2024-11-18 08:13:18
Hitos Evaluativos
Temas de la Semana
Plazo Recomendado: Este viernes 22 de noviembre.
Demostrar la Correctitud de un Compilador
[Apuntes: CPDT] [Videos: Intro to Coq & Definitions | Proving Compiler Correct]
Video 1:
Anuncios y Recordatorios
Mucho éxito en todo! :D
- Entrega 5: Plazo hasta este domingo 24 de noviembre.
- Quiz 5: Plazo hasta hoy a las 23:59.
Temas de la Semana
Plazo Recomendado: Este viernes 22 de noviembre.
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
- Implementación del compilador
- ¿Cómo podemos enunciar el teorema de correctitud?
- Demostración de la correctitud
Anuncios y Recordatorios
- Si tienen dudas de la materia de esta semana o la anterior publíquenlas en el foro. Si el martes en la noche se ven varias preguntas, el miércoles a las 9:00 AM habrá sesión síncrona con el profesor para resolverlas.
- No olviden estar atentes al Discord. Este es el medio de comunicación principal con su «auxiliar tutor».
- Recuerden que, además de las reuniones de seguimiento agendadas, pueden pedir reuniones adicionales si es que necesitan ayuda. La idea es que no se queden pegados ;)
Mucho éxito en todo! :D
| Compartir | |
|---|---|
| Categoría | Boletines Semanales |
| Última Modificación | 18 Nov 202418/11/24 a las 08:13 hrs.2024-11-18 08:13:18 |
| Vistas Únicas | 6 |
