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
-
1
-
2por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java programming language...”
Publicado 2009
-
3Materias: “...Java programming language...”