The Design and Formalization of Mezzo, a Permission-Based Programming Language
No abstract available.
Related papers
- Programming with permissions in Mezzo ICFP 2013
- A type system for borrowing permissions POPL 2012
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020
- Æminium: a permission based concurrent-by-default programming language approach PLDI 2014
- Stack-based access control and secure information flow JFP 2005
- Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems Onward! 2013
- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning Onward! 2011
- Permission-based ownership: encapsulating state in higher-order typed languages PLDI 2005