[S02] Boletín Semanal

Stefan Malewski 18 Ago 202318/08/23 a las 12:09 hrs.2023-08-18 12:09:18

Temas de la Semana

Plazo recomendando: Jueves 24 de Agosto

Semántica estática y dinámica (Capítulos 4 al 5.2)
[Apuntes: Semántica estática y dinámica][Videos: Statics | Dynamics]
  • El juicio de tipado
  • Reglas de tipado para un lenguaje simple
  • Especificación VS algoritmo
  • Propiedades del juicio de tipado
  • Reglas estructurales
  • Semántica operacional estrucural
  • Juicio de transición
  • ¿Cómo demostrar teoremas sobre juicio de tipado y transición?
  • Small step VS big step
  • Semanticas call-by-value y call-by-name
  • Propiedades de un sistema de transición

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Categoría Boletines
Última Modificación 26 Ago 202326/08/23 a las 12:06 hrs.2023-08-26 12:06:26
Vistas Únicas 9