Search for dissertations about: "functional programming"
Showing result 1 - 5 of 131 swedish dissertations containing the words functional programming.
-
1. Functional Polytypic Programming
Abstract : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. READ MORE
-
2. Functional Polytypic Programming --- Use and Implementation
Abstract : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. READ MORE
-
3. Functional Programming for Embedded Systems
Abstract : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. READ MORE
-
4. Functional Programming for Securing Cloud and Embedded Environments
Abstract : The ubiquity of digital systems across all aspects of modern society, while beneficial, has simultaneously exposed a lucrative attack surface for potential adversaries and attackers. Consequently, securing digital systems becomes of critical importance. READ MORE
-
5. Programming Language Design - Issues in Web Programming and Security
Abstract : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. READ MORE