Search for dissertations about: "Computer Programming"

Showing result 1 - 5 of 457 swedish dissertations containing the words Computer Programming.

  1. 1. Functional EDSLs for Web Applications

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Anton Ekblad; [2018]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; functional programming; domain-specific programming languages; distributed systems; web applications; tierless programming languages;

    Abstract : This thesis aims to make the development of complex web applications easier, faster and safer through the application of strongly typed functional programming techniques. Traditional web applications are commonly written in the de facto standard language of the web, JavaScript, which, being untyped, provides no guarantees regarding the data processed by programs, increasing the burden of testing and defensive programming. READ MORE

  2. 2. A Programming Language for Data Privacy with Accuracy Estimations

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Elisabet Lobo Vesga; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Differential Privacy; Functional Programming; Databases; Haskell; Accuracy; Concentration Bounds;

    Abstract : Differential privacy offers a formal framework for reasoning about the privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing private data analyses. READ MORE

  3. 3. Functional Polytypic Programming --- Use and Implementation

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Patrik Jansson; [1997]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Algebraic datatypes; Programming languages; Functional programming; Polytypic programming; Generic programming;

    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

  4. 4. Functional Polytypic Programming

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Patrik Jansson; [2000]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic 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

  5. 5. Program Analysis for Performance and Reliability

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Jacob Lidman; [2017]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

    Abstract : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. READ MORE