Essays about: "intermediate code generation"

Showing result 1 - 5 of 10 essays containing the words intermediate code generation.

1. 1. One Compiler to Rule Them All : Extending the Storm Programming Language Platform with a Java Frontend

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

   Author : Simon Ahrenstedt; Daniel Huber; [2023]
   Keywords : storm; language technology; context free grammar; regular language; context free language; compiler; action research; EBNF; BNF; intermediate code generation; parser; basic storm; java compiler frontend; syntax language; syntax transformation;

   Abstract : The thesis aims to develop a method for extending the language platform Storm with a Java frontend.The project was conducted using an Action Research methodology and highlights triumphs andchallenges. READ MORE

3. 2. Cumulus - translating CUDA to sequential C++ : Simplifying the process of debugging CUDA programs

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

   Author : Vera Blomkvist Karlsson; [2021]
   Keywords : Clang; Code generation; CUDA; Debugging; Parallel computing; Clang; Kodgenerering; CUDA; Felsökning; Parallella beräkningar;

   Abstract : Due to their highly parallel architecture, Graphics Processing Units (GPUs) offer increased performance for programs benefiting from parallel execution. A range of technologies exist which allow GPUs to be used for general-purpose programming, NVIDIA’s CUDA platform is one example. READ MORE

4. 3. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

   University essay from KTH/Teoretisk datalogi, TCS

   Author : Didrik Lundberg; [2018]
   Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

   Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE

5. 4. Infrastructure for the Generation of Functional Data-Flow Views for Automotive Embedded Systems

   University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

   Author : Martin Pruscha; [2013]
   Keywords : ;

   Abstract : Data-flow visualization for source code can help software developers and software architects to understand code graphically. In this thesis, an infrastructure for dataflow visualization is created to analyze the C source code of an embedded system of a truck. READ MORE

6. 5. System Architecture in a Heavy DutyVehicle Platooning System using xPCTargetTM

   University essay from KTH/Reglerteknik

   Author : Carl-Johan Elm; [2013]
   Keywords : ;

   Abstract : The ongoing environmental debate emphasizes the need for reducing CO2 emissions in order to counteract rapid climate change. The transportation industry is growing and is already today a signicant contributor to green house gas emissions. READ MORE