- Garbage Collection for Rust: The Finalizer Frontier
2025/04/02 by Jacob Hughes, Hughes, Jacob, Laurence Tratt +1 · 4 voices
Computer Science · #Algorithms and Data Compression #Core (optical fiber) #Correctness #Cryptography and Data Security #Frontier #Garbage collection #Privacy-Preserving Technologies in Data #Rust (programming language) #Soundness
- Functional Ownership through Fractional Uniqueness
2023/10/27 by Daniel Marshall, Danielle Marshall, Dominic Orchard +2 · 1 voice · 1 citation
Computer Science · Mathematics · #Computer science #Distributed systems and fault tolerance #Functional programming #Garbage #Garbage collection #Logic, programming, and type systems #Mathematics #Programming language #Rust (programming language) #Security and Verification in Computing #Theoretical computer science #Uniqueness #cs.PL
- Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
2021/10/03 by Michael Coblenz, Michelle Mazurek, Michelle L. Mazurek +1 · 7 voices · 2 citations
Agricultural and Biological Sciences · Computer Science · #Berry genetics and cultivation research #Computer science #Garbage #Garbage collection #Growth and nutrition in plants #Programming language #Rust (programming language) #cs.PL #cs.SE
- KRust: A Formal Executable Semantics of Rust
2018/04/28 by Feng Wang, Fu Song, Wang, Feng +7 · 3 voices · 1 citation
Computer Science · #Computer science #Distributed systems and fault tolerance #Executable #Formal semantics (linguistics) #Garbage #Garbage collection #Interpreter #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Rust (programming language) #Security and Verification in Computing #Semantics (computer science) #cs.PL
- Resource Polymorphism
2018/03/07 by Guillaume Munch-Maccagnoni, Munch-Maccagnoni, Guillaume · 2 voices · 2 citations
Computer Science · #Computer science #Distributed systems and fault tolerance #Functional programming #Garbage #Garbage collection #Linear logic #Lisp #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming language #Resource Acquisition Is Initialization #Resource allocation #Theoretical computer science #cs.LO #cs.PL