Search for dissertations about: "program theory"

Showing result 1 - 5 of 246 swedish dissertations containing the words program theory.

  1. 1. Deductive Program Analysis with First-Order Theorem Provers

    Author : Simon Robillard; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; HUMANIORA; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; HUMANITIES; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

  2. 2. Transparent Conductive Tin Doped Indium Oxide : Characterisation of Thin Films Made by Sputter Deposition with Silver Additive and by Spin Coating from Nanoparticle Dispersions

    Author : Annette Hultåker; Peter van Nijnatten; Uppsala universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; Materials science; Materialvetenskap; Materials science; Teknisk materialvetenskap; Solid State Physics; fasta tillståndets fysik;

    Abstract : Thin films of tin doped indium oxide (ITO) were prepared by two different methods: by sputter deposition with silver additive and by spin coating of a nanoparticle dispersion.ITO films doped with ≤ 20 at% of silver were prepared either as homogenous blends of ITO and silver or as intermixed layers. READ MORE

  3. 3. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE

  4. 4. Computer assisted evaluation of gas sensors : theory and applications

    Author : Dennis Söderberg; Linköpings universitet; []
    Keywords : ;

    Abstract : The application of a low cost computer as program control in a laboratory experimental situation is valuable for the evaluation of a complex measurement problem. The first step in a computer assisted evaluation is to design the experimental methods and construct the apparatus. READ MORE

  5. 5. Mechanical anchorage of prestressed CFRP tendons : theory and tests

    Author : Anders Bennitz; Luleå tekniska universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Structural Engineering; Konstruktionsteknik;

    Abstract : Fibre Reinforced Polymers (FRPs) are slowly becoming important materials to consider also for a structural engineer. They are light-weight, insensitive to corrosion and have highly modifiable mechanical properties. READ MORE