Sciweavers

1183 search results - page 3 / 237
» On flow-sensitive security types
Sort
View
OOPSLA
1993
Springer
15 years 3 months ago
Typing the Specialization Interface
John Lamping
OOPSLA
1993
Springer
15 years 3 months ago
Regular Types for Active Objects
Oscar Nierstrasz
ACISP
2010
Springer
15 years 1 months ago
Repelling Sybil-Type Attacks in Wireless Ad Hoc Systems
Marek Klonowski, Michal Koza, Miroslaw Kutylowski
OOPSLA
2010
Springer
14 years 10 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...