Sökning: "Söderman Joel"

Hittade 1 uppsats innehållade orden Söderman Joel.

  1. 1. Type-directed Generation and Shrinking for Imperative Programming Languages

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Bodin Samuel; Söderman Joel; [2018]
    Nyckelord :;

    Sammanfattning : Optimizing compilers are large and complex systems, potentially consisting of millions of lines of code. As a result, the implementation of an industry standard compiler can contain several serious bugs. This is alarming given the critical part that software plays in modern society. LÄS MER