Sökning: "Compiler Correctness"

Visar resultat 1 - 5 av 19 uppsatser innehållade orden Compiler Correctness.

  1. 1. A JavaScript Backend for the Miking Compiler

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

    Författare :William Rågstad; [2022]
    Nyckelord :Bachelor’s Thesis; Miking; JavaScript; Compiler; Semantics; Code Generation; Optimization; Correctness; Soundness; and Readability; Kandidat Examensarbete; Miking; JavaScript; Kompilatorer; Semantik; Kodgenerering; Optimering; Korrekthet; Sundhet och Läsbarhet;

    Sammanfattning : This thesis presents the design and implementation of an extension of the self-hosted Miking compiler to enable the generation of JavaScript code for different runtime environments and web browsers. Miking is a framework for developing domain-specific and general-purpose programming languages through sound language fragment composition, among other things, to create efficient compilers. LÄS MER

  3. 2. Simple formally verified compiler in Lean

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

    Författare :Leo Okawa Ericson; [2021]
    Nyckelord :;

    Sammanfattning : Computer checked proofs that a compiler is correct are important for increasing the confidence in programs. This report presents a simple compiler and a proof that the compiler is correct for terminating evaluations using the interactive theorem prover Lean, based on Concrete Semantics: with Isabelle/HOL. LÄS MER

  4. 3. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

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

    Författare :Henrik Andersson Glass; [2021]
    Nyckelord :Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Sammanfattning : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. LÄS MER

  5. 4. Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL

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

    Författare :Sara Quarfot Orrevall; [2020]
    Nyckelord :;

    Sammanfattning : As the world becomes increasingly reliant on technology and the technology becomes increasingly complex, ensuring software correctness is becoming both increasingly important and difficult. Methods like software testing are rarely enough to guarantee that a program will always work as intended. Formal methods offer attractive alternatives. LÄS MER

  7. 5. Automation of Formative Assessment : Implementation and Evaluation of an Artificial Teaching Assistant

    Uppsats för yrkesexamina på avancerad nivå, KTH/Lärande

    Författare :Johan Myrsmeden; [2018]
    Nyckelord :constructivism; formative assessment; automated assessment; computer-aided education; computer-aided assessment; konstruktivism; formativ bedömning; automatiserad bedömning; datorstödd undervisning; datorstödd bedömning;

    Sammanfattning : The Swedish government has decided to add programming to the Swedish curriculum to strengthen students’ digital skills. The teachers who will teach programming do not always know programming themselves. LÄS MER