Sökning: "edsl"

Hittade 3 uppsatser innehållade ordet edsl.

1. 1. A type-driven approach for sensitivity checking with branching

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

   Författare :Daniel Freiermuth; [2023-10-24]
   Nyckelord :Computer; science; computer science; thesis; differential privacy; type system; sensitivity; branching;

   Sammanfattning : Differential Privacy (DP) is a promising approach to allow privacy preserving statistics over large datasets of sensitive data. It works by adding random noise to the result of the analytics. Understanding the sensitivity of a query is key to add the right amount of noise capable of protecting privacy of individuals in the dataset. LÄS MER

3. 2. 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 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. LÄS MER

4. 3. API-Driven Generation of Well-Typed Terms

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

   Författare :David Spångberg; [2014-09-19]
   Nyckelord :;

   Sammanfattning : In this thesis, a reusable library for defining generators for well-typed expressions in standard Haskell is presented. The expressions are randomly constructed from a set of functions and values specified by a user. Both the types of these functions and the type of the generated expression can be polymorphic and/or higher order, i.e. LÄS MER