Essays about: "minnessäkerhet"

Found 2 essays containing the word minnessäkerhet.

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Viktor Olsson; [2023]
    Keywords : Rust; C; radio access networks; safety; performance; Rust; C; radioaccessnätverk; säkerhet; prestanda;

    Abstract : 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++. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Aïssata Maiga; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE