Search for dissertations about: "Static Program Analysis"
Showing result 16 - 20 of 60 swedish dissertations containing the words Static Program Analysis.
-
16. Static Timing Analysis of Parallel Systems Using Abstract Execution
Abstract : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. READ MORE
-
17. Static Analysis and Deductive Verification of Programs
Abstract : This thesis is concerned with analysis of programs. Analysis of programs can be divided into two camps: static analysis and formal verification.Static program analyses compute a result and terminate for all programs. READ MORE
-
18. Automated Theorem Proving with Extensions of First-Order Logic
Abstract : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. READ MORE
-
19. Sound Modular Extraction of Control Flow Graphs from Java Bytecode
Abstract : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. READ MORE
-
20. Termination and Cost Analysis : Complexity and Precision Issues
Abstract : The research in this thesis is related to static cost and termination analysis.Cost analysis aims at estimating the amount of resources that a given programconsumes during the execution, and termination analysis aims at proving thatthe execution of a given program will eventually terminate. READ MORE