Essays about: "Compiler backend"

Showing result 1 - 5 of 8 essays containing the words Compiler backend.

1. 1. Functional Programming Languages and the JVM : Comparing Functional Language Compilation Techniques for the JVM

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

   Author : Asta Olofsson; [2023]
   Keywords : Compilation; Functional Programming; Java; Kompilering; Funktionell Programmering; Java;

   Abstract : Because of its security, high availability, and automatic memory management, the JVM (Java Virtual Machine) is a desirable execution environment. However, since the JVM was originally made for Java, which is an objectoriented language, it is hard for languages with other paradigms to run on it. READ MORE

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

4. 3. A JavaScript Backend for the Miking Compiler

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

   Author : William Rågstad; [2022]
   Keywords : Bachelor’s Thesis; Miking; JavaScript; Compiler; Semantics; Code Generation; Optimization; Correctness; Soundness; and Readability; Kandidat Examensarbete; Miking; JavaScript; Kompilatorer; Semantik; Kodgenerering; Optimering; Korrekthet; Sundhet och Läsbarhet;

   Abstract : This thesis presents the design and implementation of an extension of the self-hosted Miking compiler to enable the generation of JavaScript code for different runtime environments and web browsers. Miking is a framework for developing domain-specific and general-purpose programming languages through sound language fragment composition, among other things, to create efficient compilers. READ MORE

5. 4. An LLVM backend for the Open Modelica Compiler

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

   Author : John Tinnerholm; [2019]
   Keywords : LLVM; Compiler construction; OpenModelica;

   Abstract : This thesis presents the construction and evaluation of an LLVM based codegenerator, an LLVM backend. The introduction of an LLVM based backend into the OpenModelica compiler was done to examine the advantages and disadvantages of compiling Modelica and MetaModelica to LLVM IR instead of C. READ MORE

6. 5. SkePU 2: Language Embedding and Compiler Support for Flexible and Type-Safe Skeleton Programming

   University essay from Linköpings universitet/Programvara och system

   Author : August Ernstsson; [2016]
   Keywords : Skeleton programming; SkePU; Source-to-source transformation; C 11; Heterogeneous parallel systems; Portability;

   Abstract : This thesis presents SkePU 2, the next generation of the SkePU C++ framework for programming of heterogeneous parallel systems using the skeleton programming concept. SkePU 2 is presented after a thorough study of the state of parallel programming models, frameworks and tools, including other skeleton programming systems. READ MORE