Sökning: "typsystem"

Visar resultat 1 - 5 av 8 uppsatser innehållade ordet typsystem.

  1. 1. An Arrow Metalanguage for Partially Invertible Computation

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

    Författare :Anders Ågren Thuné; [2023]
    Nyckelord :Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

    Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER

  3. 2. Suitability of OCR Engines in Information Extraction Systems : a Comparative Evaluation

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

    Författare :Zacharias Erlandsson; [2019]
    Nyckelord :;

    Sammanfattning : Previous research has compared the performance of OCR (optical character recognition) engines strictly for character recognition purposes. However, comparisons of OCR engines and their suitability as an intermediate tool for information extraction systems has not previously been examined thoroughly. LÄS MER

  4. 3. Comparing Verification of List Functions in LiquidHaskell and Idris

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

    Författare :Adrian Westerberg; Gustav Ung; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is important for guaranteeing correctness of critical computer programs. LiquidHaskell and Idris are 2 functional programming languages in which formal verification can be performed using the respective type systems. LÄS MER

  5. 4. Deterministic Concurrency Using Lattices and the Object Capability Model

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

    Författare :Ellen Arvidsson; [2018]
    Nyckelord :type systems; concurrency; determinism; object capability model; lattices; small-step operational semantics;

    Sammanfattning : Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution orders when constructing an algorithm. Therefore deterministic-by-design concurrent systems are attractive. LÄS MER

  7. 5. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Erik Reimers; [2017]
    Nyckelord :Scala; LaCasa; flow-sensitive; aliasing;

    Sammanfattning : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. LÄS MER