[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/11Quiz 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/11Demostrar 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
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 |