Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Detecção Automática de Overflows em Aritmética de Inteiros
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
membro de
https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377
orientado por
FERNANDO MAGNO QUINTÃO PEREIRA
tipo
master thesis
data de publicação
2012-01-01
Pesquisas
áreas de investigação
Linguagens de Programação
palavras-chave
Overflow elimination
Range Analysis
Static Analysis
Identidade
identificador BrCris
46ef2f4644bed0f7b5d5940e185f00c9