Sökning: "program semantics"
Visar resultat 1 - 5 av 63 avhandlingar innehållade orden program semantics.
1. Deductive Program Analysis with First-Order Theorem Provers
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
2. Probes, pronouns and binding in the Minimalist Program
Sammanfattning : 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. LÄS MER
3. Securing Interactive Systems
Sammanfattning : 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. LÄS MER
4. Operational Semantics for PLEX : A Basis for Safe Parallelization
Sammanfattning : 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. LÄS MER
5. Choreographies and Cost Semantics for Reliable Communicating Systems
Sammanfattning : 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). LÄS MER