Search for dissertations about: "lazy evaluation"

Showing result 1 - 5 of 17 swedish dissertations containing the words lazy evaluation.

  1. 1. Stingy evaluation

    Author : Christina von Dorrien; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; garbage collection; spaceleak problem; multiprocessors; lazy evaluation; G-machine; functional languages; graph reduction;

    Abstract : .... READ MORE

  2. 2. Functional Program Correctness Through Types

    Author : Nils Anders Danielsson; Chalmers University of Technology; []
    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

  3. 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 : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; 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

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

    Author : Pablo Buiras; Chalmers University of Technology; []
    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

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

    Author : Pablo Buiras; Chalmers University of Technology; []
    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