Search for dissertations about: "compilation thesis"

Showing result 1 - 5 of 270 swedish dissertations containing the words compilation thesis.

  1. 1. Towards a Deductive Compilation Approach

    Author : Ran Ji; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Abstract : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. READ MORE

  2. 2. Compilation and Translation : Johannes Widekindi and the Origins of his Work on a Swedish-Russian War

    Author : Arsenii Vetushko-Kalevich; Latin; []
    Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; HUMANITIES; Johannes Widekindi; historiography; Neo-Latin; compilation; translation; Swedish-Russian relations;

    Abstract : The purpose of the dissertation is to trace the working process of Johannes Widekindi (ca 1620–1678), Swedish historiographer of the Realm, when writing his bilingual history of the Swedish military actions in Russia in 1609–1617, published in 1671 in Swedish as Thet Swenska i Ryssland tijo åhrs Krijgz-Historie and in 1672 in Latin as Historia Belli Sveco-Moscovitici Decennalis.Chapter 1 of the dissertation consists of an overview of the Latin historiography during the Swedish Great Power period, together with a sketch of Widekindi’s biography and an overview of his works. READ MORE

  3. 3. Compilation Techniques for Prolog

    Author : Thomas Lindgren; Håkan Millroth; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Abstract : .... READ MORE

  4. 4. Protecting Functional Programs From Low-Level Attackers

    Author : Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

    Abstract : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. READ MORE

  5. 5. The World in Pieces : A Study on Compilation Film

    Author : Patrik Sjöberg; Karlstads universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Historiography; collage; museum; montage; archive; quotation; fragment; repetition; recycling; taxidermy; Filmvetenskap; Film Studies; Documentary films; Dokumentärfilm; Experimentfilm; Kompilationsfilm;

    Abstract : .... READ MORE