Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Abstract
References
Index Terms
- Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Recommendations
Migrating gradual types
Gradual typing allows programs to enjoy the benefits of both static typing and dynamic typing. While it is often desirable to migrate a program from more dynamically-typed to more statically-typed or vice versa, gradual typing itself does not provide a ...
Clean Application Compartmentalization with SOAAP
CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications SecurityApplication compartmentalization, a vulnerability mitigation technique employed in programs such as OpenSSH and the Chromium web browser, decomposes software into isolated components to limit privileges leaked or otherwise available to attackers. ...
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
POPL '17Gradual typing combines static and dynamic typing in the same language, offering programmers the error detection and strong guarantees of static types and the rapid prototyping and flexible programming idioms of dynamic types. Many gradually typed ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
![cover image Proceedings of the ACM on Programming Languages](/cms/asset/ca564d22-fa5e-44ef-bbf1-37083c5099f5/3554319.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- MEYS
- SNSF
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 156Total Downloads
- Downloads (Last 12 months)156
- Downloads (Last 6 weeks)68
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in