Search for dissertations about: "imperative"

Showing result 1 - 5 of 305 swedish dissertations containing the word imperative.

  2. 1. The Japanese Imperative

    Author : Axel Svahn; Allmän språkvetenskap; []
    Keywords : HUMANIORA; HUMANITIES; imperative; directive; semantics; pragmatics; grammaticalization; honorification; benefactivity; directive strategy; directive system; Japanese; imperativ; japanska; semantik; pragmatik; språkvetenskap; lingvistik; grammatikalisering; satstyper;

    Abstract : The present thesis explores Japanese imperative constructions from a general linguistic perspective, as well as examining the imperative as a cross-linguistic object of study. On the definitional side, a terminological apparatus for the description and analysis of imperatives and directives is presented. READ MORE

  4. 2. The Imperative of Crisis : Power, Knowledge and Action in the Swedish Crisis Management System

    Author : Maja Svenbro; Avdelningen för Riskhantering och Samhällssäkerhet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Sweden; crisis management; power; representations; imperative; crisis management; Sweden; power; representations; imperative;

    Abstract : This thesis investigates Swedish crisis management. This thesis aims to contribute to crisis research by providing critical perspectives on the role of knowledge in crisis management settings. READ MORE

  5. 3. Structured Data

    Author : Stephan Brandauer; Tobias Wrigstad; Doug Lea; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Aliasing; mutable state; imperative; programming; programming languages.; Computer Science; Datavetenskap;

    Abstract : References are a programming language construct that lets a programmer access a datum invariant of its location.References permit aliasing -- several references to the same object, effectively making a single object accessible through different names (or paths). READ MORE

  6. 4. Omelett : a language for reactive programming

    Author : Johan Nordlander; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; code generation; object-oriented; functional; operational semantics; state; imperative; concurrency; graph-reduction; polymorphism; transformational; reactive; abstract machine; lazy evaluation;

    Abstract : .... READ MORE

  7. 5. Induction Rules for Proving Correctness of Imperative Programs

    Author : Angela Wallenburg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

    Abstract : This thesis is aimed at simplifying the user-interaction in semi-interactive theorem proving for imperative programs. More specifically, we describe the creation of customised induction rules that are tailor-made for the specific program to verify and thus make the resulting proof simpler. READ MORE