Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java-like programs
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
-
1
-
2
-
3
-
4
-
5
-
6