Publication | Closed Access
Learning and programming challenges of rust
26
Citations
34
References
2022
Year
EngineeringSystem ProgrammingSoftware EngineeringSoftware AnalysisFormal VerificationProgramming Language TeachingHardware SecuritySafety RulesYoung SystemsSystems EngineeringProgramming LanguagesHigh-level Programming LanguageProgramming Language TheoryComputer EngineeringSafety GuaranteesComputer ScienceStatic Program AnalysisFunctional ProgrammingProgramming Language DesignLanguage-based SecurityProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsSystem Software
Rust is a young systems programming language designed to provide both the safety guarantees of high-level languages and the execution performance of low-level languages. To achieve this design goal, Rust provides a suite of safety rules and checks against those rules at the compile time to eliminate many memory-safety and thread-safety issues. Due to its safety and performance, Rust's popularity has increased significantly in recent years, and it has already been adopted to build many safety-critical software systems.
| Year | Citations | |
|---|---|---|
Page 1
Page 1