Sökning: "C compiler"

Visar resultat 1 - 5 av 67 uppsatser innehållade orden C compiler.

  1. 1. Agda on Raspberry Pi

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Lawerence Chonavel; [2023-10-25]
    Nyckelord :Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

    Sammanfattning : This thesis presents an Agda-to-C compiler targeting the Raspberry Pi Pico microcontroller. The compiler implementation includes an unusual choice of run-time algorithm, a Foreign Function Interface generator, and surprisingly little boilerplate code... LÄS MER

  3. 2. Kodanonymisering vid integration med ChatGPT : Säkrare ChatGPT-användning med en kodanonymiseringsapplikation

    Kandidat-uppsats, Karlstads universitet/Institutionen för matematik och datavetenskap (from 2013)

    Författare :Faruk Azizi; [2023]
    Nyckelord :Code anonymization; Data anonymization; ChatGPT; AI; Anonymization; information sanitization; privacy protection; Kodanonymisering; Dataanonymisering; ChatGPT; AI; Anonymisering; informationssanering; integritetsskydd;

    Sammanfattning : Denna avhandling studerar området av kodanonymisering inom programvaruutveckling, med fokus på att skydda känslig källkod i en alltmer digitaliserad och AI-integrerad värld. Huvudproblemen som avhandlingen adresserar är de tekniska och säkerhetsmässiga utmaningarna som uppstår när källkod behöver skyddas, samtidigt som den ska vara tillgänglig för AI-baserade analysverktyg som ChatGPT. LÄS MER

  4. 3. Attainable Safety and Long-Term Resource-Efficiency Using Rust : Evaluating the Viability of Rust in Terms of Development Effort and Performance for the Decompilation of ASN.1 Messages

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Cecilia Emberg; Anna Wadsten; [2023]
    Nyckelord :sustainability; performance; green programming; code quality; usability; learnability;

    Sammanfattning : This report investigates how a telecommunication company might reduce its resource usage in terms of execution time by using Rust for the decompilation of ASN.1 messages. To contrast these results and to offer insights into other factors for choosing a language, the developer experience of Rust was also studied. LÄS MER

  5. 4. Compiler Testing by Random Source Code Generation

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Victor Löfgren; [2023]
    Nyckelord :Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Sammanfattning : Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware. Ensuring that these compilers function correctly is therefore paramount. LÄS MER

  7. 5. Prototyping an mcSAT-based SMTsolver in Rust

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

    Författare :Dennis Örnberg; [2022]
    Nyckelord :;

    Sammanfattning : Satisfiability modulo theories, or SMT, is the decision problem of determining whether a set of formulas is satisfiable or not, given one or more background theories. The model-constructing satisfiability calculus, or mcSAT, is a framework used for solving SMT problems. LÄS MER