Sökning: "PROGRAMSPRÅK"

Visar resultat 6 - 10 av 39 uppsatser innehållade ordet PROGRAMSPRÅK.

  1. 6. Synthesis of Annotations for Partially Automated Deductive Verification

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

    Författare :Daniel Skantz; [2021]
    Nyckelord :;

    Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER

  3. 7. Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine

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

    Författare :Mikael Forsberg; [2021]
    Nyckelord :;

    Sammanfattning : Software development is more often than not a collaborative process, creating a need for tools and file formats that enable developers to create and share succinct representations of changes to source code in order to facilitate efficient communication. Standard POSIX diffs and patches have long been important parts of the toolkit, but their lack of support for the syntax and semantics of specific programming languages results in limited expressiveness. LÄS MER

  4. 8. A Comparison of Performance & Implementation Complexity of Multithreaded Applications in Rust, Java and C++

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

    Författare :Hugo Heyman; Love Brandefelt; [2020]
    Nyckelord :;

    Sammanfattning : With computer systems increasingly relying on multithreading for increasing performance the importance of multithreaded programs also increase. In this comparative study of performance and implementation complexity, the same multithreaded key-value store database was developed in three languages: Java, Rust and C++. LÄS MER

  5. 9. Java och framtiden : En studie av utvecklares attityder till lambda-uttryck 

    Kandidat-uppsats, Uppsala universitet/Institutionen för informatik och media

    Författare :Louise Heed; [2020]
    Nyckelord :Lambda expressions; Java; Object-oriented programming; Functional programming; Multi-paradigm Language; TAM; Technology Acceptance Model; Lambda-uttryck; Java; Objektorienterad programmering; Funktionell programmering; Multi-paradigmspråk; TAM; Technology Acceptance Model;

    Sammanfattning : Java, som i grunden är ett objektorienterat språk, fick vid uppdateringen till Java 8 år 2014 stöd för funktionell programmering och därmed stöd för användning av lambda-uttryck. Uppdateringen innebar att Java allt mer börjar dra gå från ett renodlat objektorienterat språk till så kallat multiparadigm-språk. LÄS MER

  7. 10. A contract language for modular specification and verification of temporal properties

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

    Författare :Lars Hummelgren; [2020]
    Nyckelord :;

    Sammanfattning : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. LÄS MER