[S14] Boletín Semanal
Gaspar Ricci 20 Nov 202320/11/23 a las 07:11 hrs.2023-11-20 07:11:20
Hitos Evaluativos
Temas de la Semana
Plazo Recomendado: Lunes 27 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 26 de noviembre.
- Quiz 5: Cierra mañana martes a las 23:59.
Temas de la Semana
Plazo Recomendado: Lunes 27 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, publíquenlas en el thread que se abrirá para estos efectos. Si el miércoles en la noche hay suficientes dudas, habrá una sesión de consultas este jueves 23 a las 16:15 hrs.
Mucho éxito en todo! :D
| Compartir | |
|---|---|
| Categoría | Boletines Semanales |
| Última Modificación | 20 Nov 202320/11/23 a las 07:11 hrs.2023-11-20 07:11:20 |
| Vistas Únicas | 7 |
| Comentarios |
|
