fbpx Automatic Synthesis of Weakest Preconditions for Compiler Optimizations | ULisboa

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
Edital 
PDF icon
Nomeação do Juri 
PDF icon