Search for dissertations about: "Johan Agat"

Found 2 swedish dissertations containing the words Johan Agat.

2. 1. A typed functional language for expressing register usage

   Author : Johan Agat; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; functional languages; compliers; type and effect system; register allocation; type based program analysis;

   Abstract : .... READ MORE

4. 2. Type Based Techniques for Covert Channel Elimination and Register Allocation

   Author : Johan Agat; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; type and effect systems; program analysis; functional languages; confidentiality; register allocation; privacy; computer security; covert timing channels; program transformation; information flow; type systems;

   Abstract : As the title suggests, this thesis consists of two parts that address two rather different topics. The first part investigates secure information flow in sequential programs, with the aim of completely eliminating covert timing channels. The second part presents a technique to describe register allocation for a functional language. READ MORE