Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
18
Computer software
14
Static analysis
12
Java-like programs
6
Memory requirements
6
Model checking
6
Program translators
6
Propositional variables
6
Alloy
4
Automatic programming
4
Bounded verifications
4
Code analysis
4
Compile time
4
Data structures
4
DynAlloy
4
Dynamic memory
4
Java
4
KodKod
4
Linked data structures
4
Memory management
4
Memory organizations
4
Memory usage
4
Program variables
4
Propositional formulas
4
Real time systems
4
Real-time specification for javas
4
SAT solvers
4
SAT-based bounded verification
4
SAT-based code analysis
4
Semi-automatics
4
-
1
-
2Materias: “...Java...”
JOUR -
3Materias: “...Java-like programs verification...”
-
4Materias: “...Java-like programs verification...”
JOUR -
5por Rosner, Nicolás LeandroMaterias: “...JAVA (LENGUAJE DE PROGRAMACION)...”
Publicado 2015
Tesis doctoral publishedVersion -
6por Rosner, Nicolás LeandroMaterias: “...JAVA (LENGUAJE DE PROGRAMACION)...”
Publicado 2015
Tesis Doctoral -
7Materias: “...Java programming language...”
-
8Publicado 2014Materias: “...Java program...”
-
9Materias: “...Java program...”
JOUR -
10Materias: “...Java programming language...”
SER -
11por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java-like programs...”
Publicado 2009
-
12Materias: “...Java-like programs...”
CONF -
13por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java real-time...”
Publicado 2011
-
14Materias: “...Java real-time...”
JOUR -
15Materias: “...Java...”
-
16Materias: “...Java...”
CONF -
17
-
18Materias: “...Java programming language...”
CHAP -
19Materias: “...Java-like programs...”
-
20Materias: “...Java-like programs...”
JOUR