Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: EVALUATION OF STATIC ANALYSIS IN DATA TYPE SEMANTIC CONFLICT DETECTION
Autor(es): RAFAEL DE PINHO ANDRE
Orientador (es) : ARNDT VON STAA
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: GRADUATE PROGRAM IN COMPUTER SCIENCE
Área: COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS
Banca: SIMONE DINIZ JUNQUEIRA BARBOSA - PUC-RIO
ARNDT VON STAA - PUC-RIO
JULIO CESAR SAMPAIO DO PRADO LEITE - PUC-RIO
Vocabulário: QUALITY
SEMANTICS
STATIC ANALYSIS
VERIFICATION
Apresentação: 04/ABR/2013
Aceitação: 04/ABR/2013
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 A555