Author:
Cardelli L.,Donahue J.,Jordan M.,Kalsow B.,Nelson G.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multiprogramming a 64kB Computer Safely and Efficiently;Proceedings of the 26th Symposium on Operating Systems Principles;2017-10-14
2. The Case for Writing a Kernel in Rust;Proceedings of the 8th Asia-Pacific Workshop on Systems;2017-09-02
3. A Study of Security Isolation Techniques;ACM Computing Surveys;2016-12-13
4. A Mechanical Soundness Proof for Subtyping Over Recursive Types;Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs;2016-07-17
5. Ownership is theft;Proceedings of the 8th Workshop on Programming Languages and Operating Systems;2015-10-04