Essays about: "Miking"

Found 2 essays containing the word Miking.

  1. 1. 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

  3. 2. A Modeling Language for Timed Automata

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

    Author : Ernst Widerberg; [2021]
    Keywords : ;

    Abstract : This work details the design and implementation of a modeling language for timed automata. The primary intended use of the language TML is as an interface to controller synthesis system m2mc, which is being developed in a current KTH/Chalmers research project. READ MORE