Capabilities: Effects for Free-Reference-Cited by-同舟云学术

Capabilities: Effects for Free

Published:2018 Issue: Volume: Page:231-247
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Craig Aaron,Potanin Alex^ORCID,Groves Lindsay,Aldrich Jonathan^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-02450-5_14

Reference21 articles.

1. Coker, Z., Maass, M., Ding, T., Le Goues, C., Sunshine, J.: Evaluating the flexibility of the Java sandbox. In: Proceedings of the 31st Annual Computer Security Applications Conference, ACSAC 2015, USA, pp. 1–10 (2015)

2. Craig, A., Potanin, A., Groves, L., Aldrich, J.: Capabilities: effects for free. Technical report, School of Engineering and Computer Science, Victoria University of Wellington, Wellington, New Zealand (2018). https://ecs.victoria.ac.nz/Main/TechnicalReportSeries

3. Dennis, J.B., Van Horn, E.C.: Programming semantics for multiprogrammed computations. Commun. ACM 9(3), 143–155 (1966)

4. Devriese, D., Birkedal, L., Piessens, F.: Reasoning about object capabilities with logical relations and effect parametricity. In: IEEE European Symposium on Security and Privacy (2016)

5. Dimoulas, C., Moore, S., Askarov, A., Chong, S.: Declarative policies for capability control. In: Computer Security Foundations Symposium (2014)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Capturing Types;ACM Transactions on Programming Languages and Systems;2023-11-20

2. Bounded Abstract Effects;ACM Transactions on Programming Languages and Systems;2022-01-12

3. RbSyn: type- and effect-guided program synthesis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. CallƐ: an effect system for method calls;Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2019-10-23

5. Computer Science Must Rely on Strongly-Typed Actors and Theories for Cybersecurity;SSRN Electronic Journal;2019