An Ahead-of-time Compiler for a Subset of TypeScript – Bc. Petr Kubica
Bc. Petr Kubica
Diplomová práce
An Ahead-of-time Compiler for a Subset of TypeScript
An Ahead-of-time Compiler for a Subset of TypeScript
Anotace:
Tato práce se věnuje návrhu a implementaci "ahead-of-time" překladače pro podmnožinu jazyka TypeScript. Překladač je implementován jako rozšíření knihovny Jaculus-machine - zabudovatelného běhového prostředí pro JavaScript. Překladač využívá typových anotací TypeScriptu, aby generoval více monomorfní kód, než umožňuje čistý JavaScript. Překladač umožňuje překládat části vstupních programů do strojového …víceAbstract:
This thesis describes the design and implementation of an ahead-of-time compiler for a subset of TypeScript. The compiler is implemented as an extension of Jaculus-machine - an embeddable JavaScript runtime environment. The compiler makes use of TypeScript's type annotations to generate more monomorphic code than what is possible by using JavaScript. It can compile parts of an input program to machine …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 21. 5. 2025
Identifikátor:
https://is.muni.cz/th/im7aj/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2025
- Vedoucí: RNDr. Petr Ročkai, Ph.D.
- Oponent: Ing. David Kozák
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Počítačové systémy, komunikace a bezpečnost / Hardwarové systémy
Práce na příbuzné téma
-
Type checker for TypeScript application
Sushmita Parajuli -
Jaculus: Approachable Programming of Embedded Devices via Javascript
Petr Kubica -
Checking Correctness of Compiler Optimisations Using SMT Solving in the Native Image Java Compiler
Jakub Wolek -
A Compiler for Simplified Python
Dávid Šutor -
Model-Driven CI/CD Pipeline Compiler
Josef Melkus -
A Framework for Abstract Interpretation in the GraalVM Native Image Java Compiler
Samuel Malec -
Methodology of Construction Compiler Front-End and Its Integration into the GNU Compiler Collection
Petr Machata