Advanced search

Found 2 essays matching the above criteria.

1. 1. Contract-Based Verification in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Pontus Ernstedt; [2022]
   Keywords : ;

   Abstract : 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

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Pontus Ernstedt; [2020]
   Keywords : ;

   Abstract : 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