Essays about: "Compiler Correctness"

Showing result 1 - 5 of 19 essays containing the words Compiler Correctness.

  1. 1. A JavaScript Backend for the Miking Compiler

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : William Rågstad; [2022]
    Keywords : 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;

    Abstract : 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. READ MORE

  3. 2. Simple formally verified compiler in Lean

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Leo Okawa Ericson; [2021]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Henrik Andersson Glass; [2021]
    Keywords : Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Sara Quarfot Orrevall; [2020]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from KTH/Lärande

    Author : Johan Myrsmeden; [2018]
    Keywords : 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;

    Abstract : 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. READ MORE