Sökning: "statically typed"

Visar resultat 1 - 5 av 14 uppsatser innehållade orden statically typed.

  1. 1. Source Code Readability : A study on type-declaration and programming knowledge

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Caesar Lennartsson; [2022]
    Nyckelord :source code readability; programming knowledge; programming language; statically typed; dynamically typed;

    Sammanfattning : The readability of source code is essential for software maintenance. Since maintenance is an ongoing process, which is estimated to be 70 percent of the software development life cycle's total costs, it cannot be deprioritized. LÄS MER

  3. 2. Performance-Aware Code Size Optimization of Generic Functions through Automatic Implementation of Dynamic Dispatch

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Ivar Härnqvist; [2022]
    Nyckelord :Compiler technology; Programming language design; Performance; Code size optimization; Generic programming; Polymorphism; Dynamic dispatch; Type erasure; Monomorphization; Templates; C ; Kompilatorteknik; Programspråksdesign; Prestanda; Kodstorleksoptimering; Generisk programmering; Polymorfism; Dynamic dispatch; Typradering; Monomorfisering; Templates; C ;

    Sammanfattning : Monomorphization and dynamic dispatch are two common techniques for implementing polymorphism in statically typed programming languages. Function templates in C++ use the former technique to enable algorithms written as generic functions to be efficiently reused with multiple different data types by producing a separate function instantiation for each invocation that uses a unique permutation of argument types. LÄS MER

  4. 3. Quantities and units in software models

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

    Författare :Marcus Östling; [2020]
    Nyckelord :;

    Sammanfattning : Quantities and units, while they are commonly used in science and engineer-ing, they are not at all that common in software. The purpose of this thesis is to study how quantities and units can be incorporated into software, and what the impact of such an incorporation would be on the software’s source code as well as its performance. LÄS MER

  5. 4. Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Amanda Stjerna; [2020]
    Nyckelord :;

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

  7. 5. WebAssembly for Web Developers

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Olle Lauri Boström; [2019]
    Nyckelord :WebAssembly; Web developers; JavaScript; TypeScript; Flow; JSDoc; V8; Transpiler;

    Sammanfattning : One of the latest tools in the strive troughwards a fast and secure Web is called WebAssembly. It is a low-level, assembly-like language that can run in the browser alongside JavaScript. WebAssembly is designed to load fast and aims to execute at near-native speed. LÄS MER