Search for dissertations about: "Static Analysis"

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

  2. 21. Object-Oriented Declarative Program Analysis

    Author : Eva Magnusson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; Datalogi; control; systems; numerical analysis; Declarative object-oriented programming; attribute grammars; fixed-point computations; Computer science; cross references; system; kontroll;

    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

  4. 22. Bandwidth-reduced Linear Models of Non-continuous Power System Components

    Author : Jonas Persson; Lennart Söder; Liisa Haarla; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Linearization methods; frequency analysis; transient analysis; time-domain simulations; eigenvalues; linear analysis; TCSC; Electric power engineering; Elkraftteknik;

    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

  5. 23. 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

  6. 24. Entropy, information theory and spatial input-output analysis

    Author : David F. Batten; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Commodity flows; dynamic analysis; entropy; information theory; input-output analysis; probability distributions; regional and interregional modelling;

    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

  7. 25. Towards estimating software testability using static analysis

    Author : David Byers; Linköpings universitet; []
    Keywords : ;

    Abstract : .... READ MORE