Search for dissertations about: "compilation thesis"
Showing result 1 - 5 of 354 swedish dissertations containing the words compilation thesis.
-
1. Towards a Deductive Compilation Approach
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. Compilation and Translation : Johannes Widekindi and the Origins of his Work on a Swedish-Russian War
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. Compilation Techniques for Prolog
Abstract : .... READ MORE
-
4. Protecting Functional Programs From Low-Level Attackers
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. The World in Pieces : A Study on Compilation Film
Abstract : .... READ MORE