Essays about: "Amanda Stjerna"

Found 1 essay containing the words Amanda Stjerna.

  1. 1. Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Amanda Stjerna; [2020]
    Keywords : ;

    Abstract : Rust is a modern systems programming language that offers improved memory safety over traditional languages like C or C++ as well as automatic memory management without introducing garbage collection. In particular, it guarantees that well-typed programs are free from data-races caused by memory-aliasing, use-after-frees, and accesses to deinitialised or uninitialised memory. READ MORE