Essays about: "c compiler"

Showing result 1 - 5 of 63 essays containing the words c compiler.

  1. 1. Agda on Raspberry Pi

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Lawerence Chonavel; [2023-10-25]
    Keywords : Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

    Abstract : 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... READ MORE

  3. 2. 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

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Cecilia Emberg; Anna Wadsten; [2023]
    Keywords : sustainability; performance; green programming; code quality; usability; learnability;

    Abstract : 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. READ MORE

  4. 3. Compiler Testing by Random Source Code Generation

    University essay from Linköpings universitet/Programvara och system

    Author : Victor Löfgren; [2023]
    Keywords : Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Dennis Örnberg; [2022]
    Keywords : ;

    Abstract : 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. READ MORE

  6. 5. Notification Oriented Paradigm as a Green Technology : Development of a Simulated Sensor Correlation Application with NOP C++ Framework 4.0 and Comparing Green Aspects with usual OOP Languages

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Md Abu Ahammed Babu; [2022]
    Keywords : Notification Oriented Paradigm NOP ; NOP C Framework 4.0; Object-Oriented Programming OOP ; C ; Java; Simulated Sensor Correlation Application; Smart City-like context application; Performance Comparison; Performance Analysis;

    Abstract : The most commonly used programming languages for modern software development usually belong to either the Imperative Paradigm (IP) or Declarative Paradigm (DP). These paradigms often come with drawbacks like code coupling and structural and/or temporal redundancy. READ MORE