Search for dissertations about: "program compilers"

Showing result 1 - 5 of 22 swedish dissertations containing the words program compilers.

2. 1. The Hole Story: Type-Directed Synthesis and Repair

   Author : Matthías Páll Gissurarson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

   Abstract : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. READ MORE

4. 2. Choreographies and Cost Semantics for Reliable Communicating Systems

   Author : Alejandro Gómez Londoño; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Programming; theorem provers; Compilers; Program Verification; Concurrency;

   Abstract : Communicating systems have become ubiquitous in today's society. Unfortunately, the complexity of their interactions makes them particularly prone to failures such as deadlocked states caused by misbehaving components, or memory exhaustion due to a surge in message traffic (malicious or not). READ MORE

5. 3. Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages

   Author : Daniel Lundén; David Broman; Lawrence Murray; Joakim Jaldén; Sam Staton; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Probabilistic programming languages; Compilers; Static program analysis; Monte Carlo inference; Operational semantics; Probabilistiska programmeringsspråk; Kompilatorer; Statisk programanalys; Monte Carlo-inferens; Operationell semantik; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : Probabilistic programming languages (PPLs) allow users to express statistical inference problems that the PPL implementation then, ideally, solves automatically. In particular, PPL users can focus on encoding their inference problems, and need not concern themselves with the intricacies of inference. READ MORE

6. 4. Program Analysis for Performance and Reliability

   Author : Jacob Lidman; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

   Abstract : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. READ MORE

7. 5. Universal Instruction Selection

   Author : Gabriel Hjort Blindell; Christian Schulte; Peter van Beek; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; instruction selection; code generation; compilers; constraint programming; combinatorial optimization; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : In code generation, instruction selection chooses instructions to implement a given program under compilation, global code motion moves computations from one part of the program to another, and block ordering places program blocks in a consecutive sequence. Local instruction selection chooses instructions one program block at a time while global instruction selection does so for the entire function. READ MORE