Sökning: "imperative"

Visar resultat 1 - 5 av 331 avhandlingar innehållade ordet imperative.

  1. 1. The Japanese Imperative

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

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

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

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

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

  4. 3. Structured Data

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

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

  5. 4. Omelett : a language for reactive programming

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

    Sammanfattning : .... LÄS MER

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

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

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