Essays about: "Pontus Ernstedt"
Found 2 essays containing the words Pontus Ernstedt.
-
1. Contract-Based Verification in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE
-
2. Avoiding Out-Of-Memory Errors in ThinGC
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE