Sökning: "Program reasoning"

Visar resultat 1 - 5 av 64 avhandlingar innehållade orden Program reasoning.

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

    Författare :Simon Robillard; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : 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. LÄS MER

  3. 2. Functional Program Correctness Through Types

    Författare :Nils Anders Danielsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

    Sammanfattning : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. LÄS MER

  4. 3. Clinical reasoning among emergency medical service clinicians : An iterative and fragmented process involving the collaborative effort(s) of many

    Författare :Ulf Andersson; Johan Berlin; Högskolan i Borås; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Emergency medical services; Clinical reasoning; Ambulance; Pre-hospital; Health and well-being; Människan i vården; The Human Perspective in Care;

    Sammanfattning : Aim: The overall aim of the thesis was to generate knowledge and understanding of clinical reasoning in the context of EMS from the perspective of EMS clinicians.Method: Three different methodologies were employed to describe various aspects of clinical reasoning. LÄS MER

  5. 4. Program Analysis for Performance and Reliability

    Författare :Jacob Lidman; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

    Sammanfattning : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. LÄS MER

  7. 5. Predictability By Construction : Working the Architecture/Program Seam

    Författare :Kurt C. Wallnau; Ivica Crnkovic; Magnus Larsson; Hans Hansson; Clemens Szyperski; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software engineering; software architecture; software components; quality attributes; Software engineering; Programvaruteknik; Computer Science; datavetenskap;

    Sammanfattning : Contemporary software engineering practice overemphasizes the distinction of software design from software implementation, and designer (“software architect”) from implementor (“computer programmer”). In this contemporary meme, software architects are concerned with large-grained system structures, quality attributes that arise from these structures (security, availability, performance, etc. LÄS MER