1.
|
Inférence statique et par contraintes des relations de composition dans des programmes Java Habti, Norddin
|
2.
|
Runtime techniques and interprocedural analysis in Java virtual machines Qian, Feng, 1973-
|
3.
|
Una infraestructura para la implementación de aplicaciones distribuidas en Internet Bustamante Sandoval, Pablo
|
4.
|
Shimple : and investigation of static single assignment form Umanee, Navindra.
|
5.
|
Region Type Checking for Core-Java Chin, Wei Ngan - Qin, Shengchao - Rinard, Martin C.
|
6.
|
Using inter-procedural side-effect information in JIT optimizations Le, Anatole
|
7.
|
Program analysis using binary decision diagrams Lhoták, Ondřej.
|
8.
|
A practical MHP information computation for concurrent Java programs / Li, Lin, 1971-
|
9.
|
Mecanismos de suporte ao escalonamento em sistemas com objetos distribuídos Java Geyer, Cláudio Fernando Resin - Silva, Luciano da - Augustin, Iara - Yamin, Adenauer - Araujo, Edvar Bergmann
|
10.
|
Minueto, an undergraduate teaching development framework Denault, Alexandre
|