Sökning: "Joel Söderman"
Hittade 1 uppsats innehållade orden Joel Söderman.
1. Type-directed Generation and Shrinking for Imperative Programming Languages
Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : 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
Resultatsidor:
1