Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17285
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gkoumas, Vasilis | - |
dc.date.accessioned | 2019-07-01T10:29:04Z | - |
dc.date.available | 2019-07-01T10:29:04Z | - |
dc.date.issued | 2019-03-26 | - |
dc.identifier.uri | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17285 | - |
dc.description.abstract | In this diploma thesis we present FIR, a functional intermediate representation, heavily influenced by the System Fω, that can be used during the compilation step from a high-level source language to a target l anguage. FIR has support for higher-order features like type-level functions, polymorphism, and can encode mutually recursive datatypes. The techniques that we use, although known in the literature, have not been combined in that way before. FIR is not a purely academic exploration, but is used in the development of Plutus, a smart contract platform, as an intermediate representation in the compilation of the Haskell code written by the end- user, to a lower-level language that goes into the blockchain. We will start by providing the motivation for our work, which is a safe blockchain language. After presenting the syntax and type synthesis in FIR, we will focus on the compilation of certain features of the language to System Fωμ , a theoretical extension of lambda calculus. | en_US |
dc.language | el | en_US |
dc.subject | Γλώσσες προγραμματισμού | en_US |
dc.subject | Programming languages | en_US |
dc.subject | λ-λογισμός | en_US |
dc.subject | lambda calculus | en_US |
dc.subject | μεταγλώττιστες | en_US |
dc.subject | compilers | en_US |
dc.subject | συστήματα τύπων | en_US |
dc.subject | type systems | en_US |
dc.subject | έξυπνα συμβόλαια | en_US |
dc.subject | smart contracts | en_US |
dc.subject | αμοιβαία αναδρομικοί τύποι | en_US |
dc.subject | mutually recursive types | en_US |
dc.title | Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchain | en_US |
dc.description.pages | 44 | en_US |
dc.contributor.supervisor | Παπασπύρου Νικόλαος | en_US |
dc.department | Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών | en_US |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis.pdf | 343.69 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.