Sciweavers

1183 search results - page 4 / 237
» On flow-sensitive security types
Sort
View
91
Voted
CSFW
2006
IEEE
15 years 9 months ago
Managing Policy Updates in Security-Typed Languages
Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zd...
98
Voted
OOPSLA
1997
Springer
15 years 7 months ago
Adding Type Parameterization to the Java Language
Ole Agesen, Stephen N. Freund, John C. Mitchell
96
Voted
OOPSLA
1990
Springer
15 years 7 months ago
Strong Typing of Object-Oriented Languages Revisited
Ole Lehrmann Madsen, Boris Magnusson, Birger M&osl...
98
Voted
OOPSLA
1995
Springer
15 years 7 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov