Sciweavers

31686 search results - page 181 / 6338
» Resource typing in Guru
Sort
View
76
Voted
TOPLAS
2002
66views more  TOPLAS 2002»
15 years 18 days ago
On the usefulness of type and liveness accuracy for garbage collection and leak detection
Martin Hirzel, Amer Diwan, Johannes Henkel
CORR
2010
Springer
46views Education» more  CORR 2010»
15 years 16 days ago
Limits of Commutativity on Abstract Data Types
Carmelo Malta, José Martinez
RC
2007
66views more  RC 2007»
15 years 13 days ago
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau