Essays about: "Source-Code Transformation"

Showing result 1 - 5 of 11 essays containing the words Source-Code Transformation.

1. 1. Develop a Graphical User Interface for the assembler for SiLago Platform

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

   Author : Yuxuan Wang; [2023]
   Keywords : Graphic intermediate representation; Graphical analytic system; High-level synthesis tool; Grafisk mellanrepresentationen; Grafiskt analytiskt system; Högnivå syntes verktyg;

   Abstract : Vesyla-II is developed as the High-Level Synthesis (HLS) tool serving the SiLago platform. The assembler Manas is a part of the Coarse Grain Reconfigurable Architectures (CGRA) compiler in Vesyla-II, which is used to transform the information from source code into the target language. READ MORE

3. 2. Toward Ordinal Image-to-Image Translation with Generative Adversarial Networks

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

   Author : David Stevens; [2021]
   Keywords : ;

   Abstract : The field of image-to-image translation consists of learning a transformation of an image from one domain to another. It has experienced great success during recent years, with methods being able to generate realistic outputs when converting between multiple categorical domains at once. READ MORE

4. 3. KtSpoon: Modelling Kotlin by extending Spoon’s Java Metamodel

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

   Author : Jesper Lundholm; [2021]
   Keywords : Code analysis; code transformation; metamodel; abstract representation; Kotlin; Spoon; Källkodsanalys; kodtransformation; metamodell; abstrakt representation; Kotlin; Spoon;

   Abstract : Kotlin is a relatively new language that has received much attention since its first stable release in February 2016. Despite the fast growth of the language, there is a lack of libraries to provide an intuitive, typed abstract syntax tree (AST). READ MORE

5. 4. Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine

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

   Author : Mikael Forsberg; [2021]
   Keywords : ;

   Abstract : Software development is more often than not a collaborative process, creating a need for tools and file formats that enable developers to create and share succinct representations of changes to source code in order to facilitate efficient communication. Standard POSIX diffs and patches have long been important parts of the toolkit, but their lack of support for the syntax and semantics of specific programming languages results in limited expressiveness. READ MORE

6. 5. Computing component specifications from global system requirements

   University essay from KTH/Teoretisk datalogi, TCS

   Author : Carl Björkman; [2017]
   Keywords : control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

   Abstract : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. READ MORE