|
|
Mobile Application for Decentralized Elections
Pastushenko, Vladislav ; Perešíni, Martin (oponent) ; Tamaškovič, Marek (vedoucí práce)
This paper describes the development of a decentralized mobile application for the Android operating system, using the 1-out-of-k Blockchain-Based Boardroom Voting protocol. The paper describes the motivation for writing the work, the general concepts associated with the development of decentralized applications, describes the development plan, describes the selected technology, implementation and testing of application, peculiarities when working with Flutter when interacting with Solidity smart contracts.
|
|
|
Just-in-Time Compilation of Dependently-Typed Lambda Calculus
Zárybnický, Jakub ; Havlena, Vojtěch (oponent) ; Lengál, Ondřej (vedoucí práce)
A number of programming languages have managed to greatly improve their performance by replacing their custom runtime system with general platforms that use just-in-time optimizing compilers like GraalVM or RPython. This thesis evaluates whether such a transition would also benefit dependently-typed programming languages or theorem provers. This thesis introduces the type-theoretic notion of dependent types and the algorithms involved in working with them, specifies a minimal dependently-typed language on the -calculus, and presents the implementation two interpreters for this language: a simple interpreter written in Kotlin, and a second interpreter, also written in Kotlin, that uses the Truffle language implementation framework on the GraalVM platform, which is a partial evaluation-based just-in-time compiler based on the Java Virtual Machine. The performance of these two interpreters is then compared on a number of normalization and elaboration tasks.The results are strongly negative, however, the influence of JIT compilation is not noticeable given the large overhead of the JVM platform. This thesis concludes with a number of alternative projects that would use the capabilities of Truffle better.
|
|
|
Just-in-Time Compilation of Dependently-Typed Lambda Calculus
Zárybnický, Jakub ; Havlena, Vojtěch (oponent) ; Lengál, Ondřej (vedoucí práce)
A number of programming languages have managed to greatly improve their performance by replacing their custom runtime system with general platforms that use just-in-time optimizing compilers like GraalVM or RPython. This thesis evaluates whether such a transition would also benefit dependently-typed programming languages or theorem provers. This thesis introduces the type-theoretic notion of dependent types and the algorithms involved in working with them, specifies a minimal dependently-typed language on the -calculus, and presents the implementation two interpreters for this language: a simple interpreter written in Kotlin, and a second interpreter, also written in Kotlin, that uses the Truffle language implementation framework on the GraalVM platform, which is a partial evaluation-based just-in-time compiler based on the Java Virtual Machine. The performance of these two interpreters is then compared on a number of normalization and elaboration tasks.The results are strongly negative, however, the influence of JIT compilation is not noticeable given the large overhead of the JVM platform. This thesis concludes with a number of alternative projects that would use the capabilities of Truffle better.
|
|
|
Kampa: an experimental programming language
Rozsypal, Lukáš ; Bulej, Lubomír (vedoucí práce) ; Bednárek, David (oponent)
Kampa je všeobecný programovací jazyk. Je imperativní, ale má i rysy funkcionálního programování. Jeho nejzajímavější vlastnosti zahrnují hodnotové typy, zapisované stručně jako n-tice (tuples), rekurzivně platné immutable kvalifikátory a pojmenované operátory. Samozřejmostí je pak zacházení s funkcemi jako s hodnotami a vnitřní funkce s možností využití proměnných z vnější funkce (closures). Díky tzv. závislým typům je možné svázat velikost pole se zvolenou proměnnou. Pole se dají použít i přímo jako součásti jiných datových struktur (nejen jako reference). To ve spojení se závislými typy umožňuje do- sáhnout téměř libovolného rozložení v paměti. Kromě specifikace tato práce zahrnuje i pokusnou implementaci založenou na frameworku Truffle. 1
|
|
|
Pascal with Truffle
Flimmel, Július ; Horký, Vojtěch (vedoucí práce) ; Bednárek, David (oponent)
Trupple je nekonvenčný interpret Pascalu vybudovaný vo frameworku Truffle od Oraclu. Použitím tohto frameworku sa stáva virtuálne platformovo nezávislý, pretože beží v Java Virtual Machine a môže tiež jednoducho komunikovat' s ostatnými Truffle jazykmi a samotnou Javou. Interpret stavia syntaktický strom z l'ubovolného Pascalovského zdrojového kódu a následne ho interpretuje od koreňového vrcholu. Podporuje Pascal podl'a štandardu ISO 7185 a implementuje niektoré bežne používané rozšírenia zavedené prekladačom Turbo Pascal od Borlandu. V tejto práci popíšeme architektúru interpretu, dôležité návrhové rozhodnutia, použité technológie a tiež poskytneme krátke hodnotenie výkonnosti Trupplu. 1
|
host ::
RSS.