Essays about: "Kompilatorkorrekthet"

Found 1 essay containing the word Kompilatorkorrekthet.

  1. 1. μ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