Search for dissertations about: "Static Program Analysis"

Showing result 21 - 25 of 60 swedish dissertations containing the words Static Program Analysis.

  2. 21. Processor Pipelines and Static Worst-Case Execution Time Analysis

    Author : Jakob Engblom; Peter Puschner; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik; Computer Systems; Datorteknik;

    Abstract : Worst-Case Execution Time (WCET) estimates for programs are necessary when building real-time systems. They are used to ensure timely responses from interrupts, to guarantee the throughput of cyclic tasks, as input to scheduling and schedule analysis algorithms, and in many other circumstances. READ MORE

  4. 22. 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

  5. 23. Compiler optimizations in the presence of uncertain semantics

    Author : Jacob Lidman; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Compiler Technology; Compiler Optimization; Fault Tolerance; Program Analysis;

    Abstract : As transistors sizes shrink and architects put more and more cores on chip, computer systems become more susceptible to outside interference. This interference can cause faults that manifest as unexpected and uncontrolled state transitions, possibly leading to costly or harmful consequences. READ MORE

  6. 24. Towards the Humanisation of Programming Tool Interactions

    Author : Alan McCabe; Programvaruteknik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Reference Attribute Grammars; Human Computer Interaction; Static program analysis; Eye tracking; User Studies;

    Abstract : Program analysis tools, from simple static semantic analysis by a compiler, to complex dynamic analyses of data flow and security, have become commonplace in modern day programming. Many of the simpler analyses, such as the afore- mentioned compiler checking or linters designed to enforce code style, may even go unnoticed or unconsidered by most users, ubiquitous as they are. READ MORE

  7. 25. Scalable Program Analysis and topics in Programming Language Design and Transformation

    Author : Josef Svenningsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The thesis covers a variety of topics in programming language technology, with the main emphasis on static program analysis. A program analysis is an automatic method, a program, which anwers a specific question about programs. READ MORE