Sökning: "typsäkerhet"

Hittade 3 uppsatser innehållade ordet typsäkerhet.

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

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

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

    Författare :Julius Recep Colliander Celik; [2020]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. A Scala DSL for Rust code generation

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

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

    Sammanfattning : 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. LÄS MER