Ciencias de la Computación (plan 1994) 2020-2

Optativas, Semántica y Verificación

Conocimientos deseables: Lenguajes de Programación, Lógica computacional.

Temario:

• Introducción: importancia de la semántica en lenguajes de programación; visión general de los métodos semánticos.

• Propiedades de las descripciones semánticas; composicionalidad e inducción.

• Un lenguaje imperativo-funcional.

• Semántica operacional: semántica de paso pequeño y de paso grande; sistemas de tipos.

• Semántica denotacional: interpretación denotacional; introducción a la teoría de puntos fijos.

• Semántica axiomática: análisis de invariantes, Lógica de Hoare.

Evaluación: tareas teórico-prácticas aunque no haya laboratorio, posiblemente exámen pero dependerá del grupo.

próximamente más información en la página:

https://sites.google.com/ciencias.unam.mx/semantica-verif/home