Sökning: "Johan Agat"
Hittade 2 avhandlingar innehållade orden Johan Agat.
1. A typed functional language for expressing register usage
Sammanfattning : .... LÄS MER
2. Type Based Techniques for Covert Channel Elimination and Register Allocation
Sammanfattning : 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. LÄS MER
Resultatsidor:
1