Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
.NET
1
ALLOY
1
ANALISIS
1
ANALISIS DE PROGRAMAS USANDO SAT
1
ANALISIS ESTATICO
1
ANALYSIS
1
BIG DATA
1
BIGDATA
1
BYTECODE
1
CALL GRAPH
1
CLOUD
1
CODIGO DE TRES DIRECCIONES
1
CONTROL-FLOW
1
DATA-FLOW
1
DISTRIBUIDO
1
DISTRIBUTED
1
DYNALLOY
1
ESTATICO
1
FRAMEWORK
1
INCREMENTAL
1
KODKOD
1
LANGUAGES
1
LENGUAJES
1
NUBE
1
PROGRAM
1
PROGRAMA
1
SAT-BASED CODE ANALYSIS
1
STATIC
1
STATIC ANALYSIS
1
THREE-ADDRESS CODE
1
-
1por Galeotti, Juan PabloMaterias: “...SAT-BASED CODE ANALYSIS...”
Publicado 2010
Tesis doctoral publishedVersion -
2por Zoppi, Edgardo JulioMaterias: “...THREE-ADDRESS CODE...”
Publicado 2019
Tesis doctoral publishedVersion