Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java-like programs
6
Computer software
4
Java programming language
4
Automatic programming
2
Boolean functions
2
Bounded verifications
2
Case-studies
2
Chemical analysis
2
Compile time
2
Computer programming
2
Data flow analysis
2
Dataflow analysis
2
Dynamic memory
2
Embedded systems
2
Empirical evaluations
2
Escaping objects
2
Formal logic
2
Heap memory requirements
2
Java-like programs verification
2
Levels of abstraction
2
Memory management
2
Memory organizations
2
Memory region
2
Memory requirements
2
Memory usage
2
Parametric forms
2
Program Verification
2
Program variables
2
Propositional variables
2
Quantitative analysis
2
-
1Materias: “...Java-like programs verification...”
-
2Materias: “...Java-like programs verification...”
JOUR -
3Materias: “...Java-like programs...”
-
4Materias: “...Java-like programs...”
JOUR -
5por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java-like programs...”
Publicado 2009
-
6Materias: “...Java-like programs...”
CONF