Essays about: "Typsäkerhet"

Found 3 essays containing the word Typsäkerhet.

  1. 1. 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

  3. 2. Plutt: A tool for creating type-safe and version-safe microfrontends

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

    Author : Julius Recep Colliander Celik; [2020]
    Keywords : Plutt; Microfrontends; Microservices; Semantic Versioning; Lock-step deployments; Type safety; Access transparency; Plutt; Mikrofrontends; Mikrotjänster; Semantisk Versionering; Lock-step deployments; Typsäkerhet; Access transparency;

    Abstract : Microfrontend applications are composed of multiple smaller frontend applications, which are integrated at run-time. As with microservices, microfrontends can be updated in production at any time. There are no technological restrictions for releasing API-breaking updates. READ MORE

  4. 3. A Scala DSL for Rust code generation

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

    Author : Klas Segeljakt; [2018]
    Keywords : Continuous Deep Analytics; Domain Specific Langauges; Code Generation; Rust; Scala; Kontinuerlig Djup Analys; Domänspeficika Språk; Kodgenerering; Rust; Scala;

    Abstract : Continuous Deep Analytics (CDA) is a new form of analytics with performance requirements exceeding what the current generation of distributed systems can offer. This thesis is part of a five year project in collaboration between RISE SICS and KTH to develop a next generation distributed system capable of CDA. READ MORE