Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
3
Java-like programs
2
Memory management
2
Real time systems
2
Analysis-based approaches
1
Automatic programming
1
Boolean functions
1
Bounded verifications
1
Compile time
1
Data flow analysis
1
Dataflow analysis
1
Dynamic memory
1
Embedded systems
1
Empirical evaluations
1
Formal logic
1
Garbage collection
1
Java-like programs verification
1
Levels of abstraction
1
Memory modeling
1
Memory organizations
1
Memory region
1
Memory usage
1
Parametric forms
1
Program Verification
1
Program variables
1
Propositional variables
1
Real time guarantees
1
Real-time specification for javas
1
Refuse collection
1
-
1Materias: “...Java programming language...”
CHAP -
2Materias: “...Java programming language...”
JOUR -
3Materias: “...Java programming language...”
CONF