Advanced search

Showing result 1 - 5 of 17 swedish dissertations matching the above criteria.

  2. 1. Stingy evaluation

    Author : Christina von Dorrien; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; garbage collection; spaceleak problem; multiprocessors; lazy evaluation; G-machine; functional languages; graph reduction;

    Abstract : .... READ MORE

  4. 2. Functional Program Correctness Through Types

    Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

    Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE

  5. 3. The Lazy Intuitive Statistician : Influence of Data Representation and Retrieval Processes on Intuitive Statistical Judgment

    Author : Marcus Lindskog; Anders Winman; Peter Juslin; Hedvig Söderlund; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Intuitive statistics; numerical cognition; Psychology; Psykologi;

    Abstract : Intuitive statistical judgments are an integral part of people’s everyday life and a long line of research has investigated the extent to which man lives up to the norms of statistical theory when performing such judgments. A recent account of intuitive statistical judgments, summarized in the metaphor of the naïve intuitive statistician (K. READ MORE

  6. 4. Securing concurrent programs with dynamic information-flow control

    Author : Pablo Buiras; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

    Abstract : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. READ MORE

  7. 5. Securing functional programs with floating-label information-flow control

    Author : Pablo Buiras; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    Abstract : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. READ MORE