Sökning: "Haskell"

Visar resultat 1 - 5 av 34 uppsatser innehållade ordet Haskell.

  1. 1. Pattern Matching for Non-inductive Types in Code-generating Haskell EDSLs

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Thomas Li; [2021-09-20]
    Nyckelord :haskell; haski; edsl; pattern matching; embedded domain-specific languages; functional programming;

    Sammanfattning : Internet of Things (IoT) devices are becoming increasingly common in the modernhome, as are IoT-related security vulnerabilities. There are reasons to believe thatmany of these vulnerabilities were caused by programming errors made possible dueto working in a low-level programming language. LÄS MER

  2. 2. A Front-End for Daison

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :CHRISTOFFER KALTENBRUNNER; ALEXANDER NELDEFORS; HUGO STEGRELL; PHILIP VEDIN; [2021-09-07]
    Nyckelord :Database; Daison; Glasgow Haskell Compiler; Haskell;

    Sammanfattning : Daison is a database written in the functional programming language Haskell. Ithas no built-in visual representation of data and using it in an interactive Haskellenvironment such as GHCi is inconvenient since it requires boilerplate code. LÄS MER

  3. 3. MATLAB/Simulink implementation of ForSyDe

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Andrea Silvestro; [2021]
    Nyckelord :;

    Sammanfattning : Nowadays, it is possible to integrate an increasing number of functionalities on a single chip thanks to the state of the art technology in Electronic design automation. However, designing highly complex electronic systems quickly and reliably requires dealing with all such functionalities, which can be difficult as it requires a long and challenging design process because low-level details are necessary to obtain a functional implementation. LÄS MER

  4. 4. Spira: A language for prototyping grid board games with linear logic in Haskell

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Nicke Carlsson; Simon Edvardsson; Oskar Grekula; Erik Ljungdahl; Jennie Zhou; [2020-10-30]
    Nyckelord :;

    Sammanfattning : This project explores the process of creating a board game model andintroduces a new high level domain-specific language called Spira thatspecialises in prototyping grid board games. Spira is a DSL, embedded inHaskell, that generates Ceptre code. LÄS MER

  5. 5. Trees that Grow in the Paragon Compiler A Step Towards Modularity

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :John Andersson; Anders Berggren Sjöblom; Anders Bäckelie; Johannes Ljung Ekeroth; Lukas Skystedt; Lina Terner; [2020-10-30]
    Nyckelord :;

    Sammanfattning : Paragon is a programming language that extends Java with statically checkedinformation flow control policies. Paragon’s compiler, which is written in Haskell,has a large type checker. Its current implementation is monolithic, making thecompiler challenging to develop. Paragon’s authors, Broberg et al. LÄS MER