Search for dissertations about: "Static Analysis"
Showing result 21 - 25 of 512 swedish dissertations containing the words Static Analysis.
-
21. Object-Oriented Declarative Program Analysis
Abstract : This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. READ MORE
-
22. Bandwidth-reduced Linear Models of Non-continuous Power System Components
Abstract : Denna avhandling är fokuserad på modellering av elkraftsystemkomponenter och deras representation vid simuleringar av elkraftsystem. Avhandlingen jämför olika linjäriseringstekniker. Dessa tekniker är såväl numeriska som analytiska och används vid linjärisering av ett dynamiskt system. READ MORE
-
23. 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
-
24. Entropy, information theory and spatial input-output analysis
Abstract : Interindustry transactions recorded at a macro level are simply summations of commodity shipment decisions taken at a micro level. The resulting statistical problem is to obtain minimally biased estimates of commodity flow distributions at the disaggregated level, given various forms of aggregated information. READ MORE
-
25. Towards estimating software testability using static analysis
Abstract : .... READ MORE