Automatic Synthesis of Weakest Preconditions for Compiler Optimizations
Tipo
Doutoramento
Candidato
Nuno Claudino Pereira Lopes
Título
Automatic Synthesis of Weakest Preconditions for Compiler Optimizations
School
IST Técnico Lisboa
Data e Hora
29/07/2014 - 14:30
Local
Anfiteatro PA-1, piso -1 do Pavilhão de Matemática do Instituto Superior Técnico
Ramo / Especialidade
- Engenharia Informática e de Computadores