Search for dissertations about: "Program semantics"
Showing result 1 - 5 of 62 swedish dissertations containing the words Program semantics.
-
1. Deductive Program Analysis with First-Order Theorem Provers
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. Probes, pronouns and binding in the Minimalist Program
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
-
3. Securing Interactive Systems
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
-
4. Operational Semantics for PLEX : A Basis for Safe Parallelization
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
-
5. Choreographies and Cost Semantics for Reliable Communicating Systems
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