Sökning: "Pontus Ernstedt"

Hittade 2 uppsatser innehållade orden Pontus Ernstedt.

1. 1. Contract-Based Verification in TriCera

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Pontus Ernstedt; [2022]
   Nyckelord :;

   Sammanfattning : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. LÄS MER

3. 2. Avoiding Out-Of-Memory Errors in ThinGC

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Pontus Ernstedt; [2020]
   Nyckelord :;

   Sammanfattning : A new garbage collector, called ThinGC, is producing out-of-memory errors when applied to certain user applications. ThinGC introduces a classification of objects as either hot or cold, where hot objects are currently in use by the application and cold objects are not. LÄS MER