Essays about: "Haskell"
Showing result 6 - 10 of 39 essays containing the word Haskell.
-
6. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. READ MORE
-
7. Pattern Matching for Non-inductive Types in Code-generating Haskell EDSLs
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Internet of Things (IoT) devices are becoming increasingly common in the modern home, as are IoT-related security vulnerabilities. There are reasons to believe that many of these vulnerabilities were caused by programming errors made possible due to working in a low-level programming language. READ MORE
-
8. A Front-End for Daison
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Daison is a database written in the functional programming language Haskell. It has no built-in visual representation of data and using it in an interactive Haskell environment such as GHCi is inconvenient since it requires boilerplate code. READ MORE
-
9. MATLAB/Simulink implementation of ForSyDe
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
-
10. Spira: A language for prototyping grid board games with linear logic in Haskell
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : This project explores the process of creating a board game model and introduces a new high level domain-specific language called Spira that specialises in prototyping grid board games. Spira is a DSL, embedded in Haskell, that generates Ceptre code. READ MORE