Essays about: "c language thesis"

Showing result 21 - 25 of 213 essays containing the words c language thesis.

1. 21. 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. 22. Analyzing and Reducing Compilation Times for C++ Programs

   University essay from Linköpings universitet/Programvara och system

   Author : Dennis Mivelli; [2022]
   Keywords : C ; Compilation; Build; Dependencies; File Dependencies; File inclusions; Time; Speed; Compilation time; Build time; Design patterns; PImpl; Bridge; Dependency injection; Pointer to implementation; Mocking; GoogleTest; gMock; large; large-scale; Reduce; Reduce compilation times; Reduce build times; C ; Kompilering; Byggtid; Beroenden; Filberoenden; Filinkluderingar; Tid; Hastighet; Kompileringstid; Designmönster; PImpl; Bridge; Dependency injection; Pointer to implementation; Mockning; Mocking; GoogleTest; gMock; Storskalig; Minska kompileringstid; Minska;

   Abstract : Software companies often choose to develop in C++ because of the high performance that the language offers. Facilitated by static compilation and powerful optimization options, runtime performance is paid for with compilation time. READ MORE

4. 23. Performance-Aware Code Size Optimization of Generic Functions through Automatic Implementation of Dynamic Dispatch

   University essay from Linköpings universitet/Programvara och system

   Author : Ivar Härnqvist; [2022]
   Keywords : Compiler technology; Programming language design; Performance; Code size optimization; Generic programming; Polymorphism; Dynamic dispatch; Type erasure; Monomorphization; Templates; C ; Kompilatorteknik; Programspråksdesign; Prestanda; Kodstorleksoptimering; Generisk programmering; Polymorfism; Dynamic dispatch; Typradering; Monomorfisering; Templates; C ;

   Abstract : Monomorphization and dynamic dispatch are two common techniques for implementing polymorphism in statically typed programming languages. Function templates in C++ use the former technique to enable algorithms written as generic functions to be efficiently reused with multiple different data types by producing a separate function instantiation for each invocation that uses a unique permutation of argument types. READ MORE

5. 24. A Comparative Study on Deductive Verification for Rust and C

   University essay from KTH/Datavetenskap

   Author : Nils Löfberg; Aron Bergman; [2022]
   Keywords : ;

   Abstract : In programming, deductive verification is a technique to generate proof that a function obeys a set of manually specified regulations in the form of annotations. In addition to these annotations, the verifier also utilizes the constraints of the underlying programming language to prove that the function cannot cause the program to crash unexpectedly. READ MORE

6. 25. Software Synthesis of Synchronous Data Flow Models Using ForSyDe IO

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Yihang Zhao; [2022]
   Keywords : Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

   Abstract : The implementation of embedded software applications is a complex process. The complexity arises from the intense time-to-market pressures; power and memory constraints. To deal with this complexity, an idea is to automatically construct the applications based on the high-level abstraction model. READ MORE