Sökning: "Program semantics"

Visar resultat 1 - 5 av 63 avhandlingar innehållade orden Program semantics.

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. Probes, pronouns and binding in the Minimalist Program

   Författare :Fredrik Heinat; Engelska; []
   Nyckelord :HUMANIORA; HUMANITIES; Grammar; probes; agree; pronouns; distributed morphology; syntax; minimalims; semantics; semiotics; Grammatik; semantik; semiotik;

   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

4. 3. Securing Interactive Systems

   Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Nyckelord :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;

   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

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

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

   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

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

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

   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