Search for dissertations about: "Static Program Analysis"

Showing result 16 - 20 of 60 swedish dissertations containing the words Static Program Analysis.

2. 16. Static Timing Analysis of Parallel Systems Using Abstract Execution

   Author : Andreas Gustavsson; Björn Lisper; Jan Gustafsson; Andreas Ermedahl; Nan Guan; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WCET analysis; parallel systems; multi-core; multicore; threaded programming language; Computer Science; datavetenskap;

   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

4. 17. Static Analysis and Deductive Verification of Programs

   Author : Tobias Gedell; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   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

5. 18. Automated Theorem Proving with Extensions of First-Order Logic

   Author : Evgenii Kotelnikov; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; 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

6. 19. Sound Modular Extraction of Control Flow Graphs from Java Bytecode

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Wolfgang Ahrendt; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Compositional Verification;

   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

7. 20. Termination and Cost Analysis : Complexity and Precision Issues

   Author : Abu Naser Masud; Samir Genaim; Germán Puebla; Technical University of Madrid; []
   Keywords : ;

   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