Search for dissertations about: "program semantics"

Showing result 1 - 5 of 62 swedish dissertations containing the words program semantics.

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

   Author : Simon Robillard; Chalmers tekniska högskola; []
   Keywords : 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;

   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

4. 2. Probes, pronouns and binding in the Minimalist Program

   Author : Fredrik Heinat; Engelska; []
   Keywords : HUMANIORA; HUMANITIES; Grammar; probes; agree; pronouns; distributed morphology; syntax; minimalims; semantics; semiotics; Grammatik; semantik; semiotik;

   Abstract : In chapter 2, I claim that not only heads, but phrases, too, are probes. I show that there are in fact no theoretical and empirical problems involved if we abandon the stipulation that only heads may probe. In chapter 3, I explore the structure of nominal expressions. READ MORE

5. 3. Securing Interactive Systems

   Author : Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

   Abstract : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. READ MORE

6. 4. Operational Semantics for PLEX : A Basis for Safe Parallelization

   Author : Johan Lindhult; Björn Lisper; Nordlander Johan; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Datavetenskap;

   Abstract : The emerge of multi-core computers implies a major challenge for existing software. Due to simpler cores, the applications will face decreased performance if not executed in parallel. The problem is that much of the software is sequential.Central parts of the AXE telephone exchange system from Ericsson is programmed in the language PLEX. READ MORE

7. 5. Choreographies and Cost Semantics for Reliable Communicating Systems

   Author : Alejandro Gómez Londoño; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Programming; theorem provers; Compilers; Program Verification; Concurrency;

   Abstract : Communicating systems have become ubiquitous in today's society. Unfortunately, the complexity of their interactions makes them particularly prone to failures such as deadlocked states caused by misbehaving components, or memory exhaustion due to a surge in message traffic (malicious or not). READ MORE