PROGRAMA:
El programa oficial de la asignatura puede leerse aquí
APUNTES:
Libro de texto de la asignatura: Transformadores de Predicados y Semántica de Programas (2ª edición, correción de Octubre de 2010)
Capítulos 0 al 4 del texto anterior
Capítulos 5 al 6 del texto anterior
Capítulos 7 al 9 del texto anterior
Capítulos 10 al 11 del texto anterior
Libro de texto de la asignatura: Transformadores de Predicados y Semántica de Programas (2ª edición, 2003)
Fe de erratas de la 2ª edición (2003) del texto Transformadores de Predicados y Semántica de Programas
Fe de erratas de
la 1ª edición (1999) del texto Transformadores
de Predicados y Semántica de Programas
TRANSPARENCIAS: (aún no disponibles)
MATERIAL INTERESANTE (direcciones y artículos
relevantes):
Great Works in Programming Languages
(collected by Benjamin C. Pierce)
List of important publications in
Computer Science (wikipedia)
The next 700 Programming Languages (Landin, 1965)
Fundamental Concepts in Programming Languages (Strachey, 1967- r.p.2000)
Assigning Meaning to Programs (Floyd, 1967)
Goto Statement Considered Harmful (Dijkstra, C ACM 1968)
An Axiomatic Basis for Computer Programming (Hoare, 1969)
Guarded commands, nondeterminacy and a calculus for derivation of programs (Dijkstra, EWD 418 1974)
Guarded commands, nondeterminacy and formal derivation of programs (Dijkstra, C ACM 1975)
Computer Science 521/621 [Advanced] Software Engineering: Analysis Fall 2006 Verification
CALENDARIO DE EXÁMENES:
CURSO 2010/11:
Parcial 1º (28 Octubre) Soluciones Calificaciones
Parcial 2º
(2 Diciembre) Soluciones Calificaciones
*Extraordinario de Diciembre (22 Diciembre) Soluciones Calificaciones
INSTRUCCIONES PARA EL EXAMEN ORDINARIO (4-FEBRERO-2011)
Final-Parc 3º (4 Febrero) Soluciones Calificaciones
Setiembre (16 Setiembre) Soluciones Calificaciones
EXAMENES DE CURSOS ANTERIORES:
CURSO 2009/10:
Parcial 1º (29 Octubre) Soluciones Calificaciones
Parcial 2º
(3 Diciembre) Soluciones Calificaciones
*Extraordinario de Diciembre (16 Diciembre) Soluciones Calificaciones
Final-Parc 3º (5 Febrero) Soluciones Calificaciones
Setiembre (21 Setiembre) Soluciones Calificaciones
CURSO 2008/09:
Parcial 1º (30 Octubre) Soluciones Calificaciones
Parcial 2º (4 Diciembre) Soluciones Calificaciones
Final-Parc 3º (6 Febrero) Soluciones Calificaciones
Diciembre (17 Diciembre) Soluciones Calificaciones
Setiembre (22 Setiembre) Soluciones Calificaciones
CURSO 2007/08:
Parcial 1º (25 Octubre) SOLUCIONES Calificaciones
Parcial 2º (29 Noviembre) SOLUCIONES Calificaciones
Parcial 3º (8 Febrero) SOLUCIONES Calificaciones
Extraordinario Diciembre SOLUCIONES Calificaciones
Extraordinario de Setiembre SOLUCIONES Calificaciones
CURSO 2006/07:
Parcial 1º (19 Octubre) SOLUCIONES Calificaciones
Parcial 2º (16 Noviembre) SOLUCIONES Calificaciones
Parcial 3º (4 Diciembre) SOLUCIONES Calificaciones
Parcial 4º (9 Febrero) SOLUCIONES Calificaciones
Extraordinario de Junio SOLUCIONES Calificaciones
Extraordinario de Setiembre SOLUCIONES Calificaciones
CURSO 2005/06:
Parcial 1º (3 de Noviembre) SOLUCIONES Calificaciones
Parcial 2º (1 de Diciembre) SOLUCIONES Calificaciones
Ordinario de Febrero SOLUCIONES Calificaciones
Extraordinario de Junio SOLUCIONES Calificaciones
Extraordinario de Setiembre SOLUCIONES Calificaciones
CURSO 2004/05:
Parcial de Diciembre SOLUCIONES
Ordinario de Febrero SOLUCIONES
Extraordinario de Setiembre SOLUCIONES
CURSO 2003/04:
Parcial de Diciembre SOLUCIONES
Ordinario de Febrero SOLUCIONES
Extraordinario de Setiembre SOLUCIONES
CURSO 2002/03:
CURSO 2001/02:
Extraordinario de
Sep. SOLUCIONES
CURSO 2000/01:
Parcial_de Diciembre SOLUCIONES
Ordinario de Febrero SOLUCIONES
CURSO 1999/00: