Název: Just-in-time kompilace závisle typovaného lambda kalkulu
Překlad názvu: Just-in-Time Compilation of Dependently-Typed Lambda Calculus
Autoři: Zárybnický, Jakub ; Havlena, Vojtěch (oponent) ; Lengál, Ondřej (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2021
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [eng] [cze]

Klíčová slova: compiler construction; dependent types; Java Virtual Machine; just-in-time compilation; Truffle; just-in-time překlad; Truffle; tvorba překladačů; Virtuální stroj JVM; závislé typy

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/200200

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-445576


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce
 Záznam vytvořen dne 2021-06-27, naposledy upraven 2022-09-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet