Publication | Closed Access
Understanding memory and thread safety practices and issues in real-world Rust programs
98
Citations
43
References
2020
Year
Unknown Venue
Systems Software DevelopmentEngineeringSystem ProgrammingComputer ArchitectureSoftware EngineeringMemory Model (Programming)Software AnalysisFormal VerificationShared MemorySystems EngineeringParallel ComputingCompilersMemory ManagementProgramming LanguagesHigh-level Programming LanguageConcurrent ProgrammingComputer EngineeringSafety GuaranteesProgramming Language ImplementationReal-world Rust ProgramsComputer ScienceLanguage-based SecuritySoftware DesignProgramming Language DesignProgram AnalysisSoftware TestingThread Safety PracticesFormal MethodsYoung Programming LanguageSystem SoftwareTransactional Memory
Rust is a young programming language designed for systems software development. It aims to provide safety guarantees like high-level languages and performance efficiency like low-level languages. The core design of Rust is a set of strict safety rules enforced by compile-time checking. To support more low-level controls, Rust allows programmers to bypass these compiler checks to write unsafe code.
| Year | Citations | |
|---|---|---|
Page 1
Page 1