Robust and Compositional Verification of Object Capability Patterns Download Abstract Authors David Swasey Deepak Garg Derek Dreyer Venue Proceedings of the ACM on Programming Languages 1 (OOPSLA), 89 Research Areas Formal Reasoning Publication Year 2017 Currently, only the PDF version of this paper is available. To read, please download the PDF above.
