Sciweavers

31686 search results - page 141 / 6338
» Resource typing in Guru
Sort
View
OOPSLA
2004
Springer
16 years 12 days ago
Object-oriented encapsulation for dynamically typed languages
Nathanael Schärli, Andrew P. Black, Sté...
SCOPES
2004
Springer
16 years 11 days ago
Fast Points-to Analysis for Languages with Structured Types
Michael Jung, Sorin A. Huss
145
Voted
VMCAI
2004
Springer
16 years 11 days ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk