Essays about: "Söderman Joel"

Found 1 essay containing the words Söderman Joel.

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

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Bodin Samuel; Söderman Joel; [2018]
    Keywords : ;

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