Sökning: "minnessäkerhet"

Hittade 2 uppsatser innehållade ordet minnessäkerhet.

1. 1. Rust programming language as an alternative to C for RAN management applications

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Viktor Olsson; [2023]
   Nyckelord :Rust; C; radio access networks; safety; performance; Rust; C; radioaccessnätverk; säkerhet; prestanda;

   Sammanfattning : Since the first official release of Rust 1.0 in 2015, the language has become one of the most well-liked programming languages among developers and has emerged as a competitor to other systems programming languages such as C and C++. LÄS MER

3. 2. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Aïssata Maiga; [2023]
   Nyckelord :Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

   Sammanfattning : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. LÄS MER