Declarative, Temporal, and Practical Programming with Capabilities

2013 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2013.11 ◽

2013 ◽

Author(s):

W. R. Harris ◽

S. Jha ◽

T. Reps ◽

J. Anderson ◽

R. N. M. Watson

Download Full-text