Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java-like programs
6
Computer software
4
Heap memory requirements
4
Java programming language
4
Quantitative analysis
4
Resource consumption
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
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
-
1por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java-like programs...”
Publicado 2009
-
2Materias: “...Java-like programs...”
CONF -
3Materias: “...Java-like programs verification...”
-
4Materias: “...Java-like programs verification...”
JOUR -
5Materias: “...Java-like programs...”
-
6Materias: “...Java-like programs...”
JOUR -
7“... of the number of simultaneously live objects of sequential Java-like programs. Inferring the peak amount...”
-
8“... of the number of simultaneously live objects of sequential Java-like programs. Inferring the peak amount...”
INPR