Sökning: "compilation"

Visar resultat 1 - 5 av 412 avhandlingar innehållade ordet compilation.

  1. 1. Towards a Deductive Compilation Approach

    Författare :Ran Ji; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Sammanfattning : 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. LÄS MER

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

    Författare :Arsenii Vetushko-Kalevich; Latin; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Johannes Widekindi; historiography; Neo-Latin; compilation; translation; Swedish-Russian relations;

    Sammanfattning : 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. LÄS MER

  4. 3. Compilation Techniques for Prolog

    Författare :Thomas Lindgren; Håkan Millroth; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Sammanfattning : .... LÄS MER

  5. 4. Le Miroir historial de Jean de Noyal : Livre X : édition du ms. Paris, BnF, fr. 10138 avec introduction, notes et index

    Författare :Per Förnegård; Anders Bengtsson; Jane Nystedt; David Trotter; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Jean de Noyal; Miroir historial; chronique universelle; moyen français; Saint-Vincent; compilation; édition critique; index verborum; index nominum; Languages and linguistics; Språkvetenskap;

    Sammanfattning : In the 1380s, Jean de Noyal, Abbot of the Benedictine monastery of Saint Vincent in Laon between 1367 and 1396, authored his universal history, the Miroir Historial. The mirror, which described the history of the world from the creation until the year 1380, originally comprised 12 books, presumably organized into three volumes. LÄS MER

  7. 5. Protecting Functional Programs From Low-Level Attackers

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

    Sammanfattning : 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. LÄS MER