Author:
Fluet Matthew,Morrisett Greg,Ahmed Amal
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Cyclone, version 0.9. (2005), http://www.eecs.harvard.edu/~greg/cyclone/
2. Tofte, M., Talpin, J.P.: Region-based memory management. Information and Computation 132(2), 109–176 (1997)
3. Hicks, M., Morrisett, G., Grossman, D., Jim, T.: Experience with safe manual memory-management in Cyclone. In: Proc. International Symposium on Memory Management, pp. 73–84 (2004)
4. Fluet, M., Wang, D.: Implementation and performance evaluation of a safe runtime system in Cyclone. In: Proc. SPACE Workshop (2004)
5. Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Regionbased memory management in Cyclone. In: Proc. Programming Language Design and Implementation, pp. 282–293 (2002)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. When Is Parallelism Fearless and Zero-Cost with Rust?;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17
2. Functional Ownership through Fractional Uniqueness;Proceedings of the ACM on Programming Languages;2024-04-29
3. Pipelines and Beyond: Graph Types for ADTs with Futures;Proceedings of the ACM on Programming Languages;2024-01-05
4. Reference Capabilities for Flexible Memory Management;Proceedings of the ACM on Programming Languages;2023-10-16
5. Garbage-Collection Safety for Region-Based Type-Polymorphic Programs;Proceedings of the ACM on Programming Languages;2023-06-06