Sökning: "case syntax"

Visar resultat 26 - 30 av 55 avhandlingar innehållade orden case syntax.

  1. 26. Enabling Test Automation for Industrial PLC Programs

    Författare :Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu; Jee Eunkyoung; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; PLC Testing; Automated Testing; PyLC; EARS Syntax; FBD; ST; Computer Science; datavetenskap;

    Sammanfattning : Testing safety-critical systems, particularly those controlled by Programmable Logic Controllers (PLC), is crucial for ensuring the safe and reliable operation of industrial processes. This thesis addresses the critical need for automated testing of safety-critical PLC systems used in various industrial settings. LÄS MER

  3. 27. The Syntax of Past Participles. A Generative Study of Nonfinite Constructions in Ancient and Modern Italian

    Författare :Verner Egerland; Italienska; []
    Nyckelord :HUMANIORA; HUMANITIES; Absolute Constructions; Word order and Participial Agreement in Italian; Scandinavian; and Romance; Affectedness Constraint; Medieval and Renaissance Italian; Spec head agreement and Case Theory; Antisymmetry; Past Participles; Null Objects; Italian language and literature; Italienska språk och litteratur ;

    Sammanfattning : The purpose of this thesis is double. First, it will be shown that a number of problems of the syntax of ancient, literary Italian lend themselves readily to an analysis in terms of the Theory of Principles and Parameters. LÄS MER

  4. 28. The Evaluability Hypothesis : The Syntax and Semantics of Polarity Item Licensing in Swedish

    Författare :Johan Brandtler; Svenska; []
    Nyckelord :HUMANIORA; HUMANITIES; downward entailment; long-distance; wh-questions; edge-feature; Spec-CP; negation; NPIs; PPIs; veridicality; term logic;

    Sammanfattning : This dissertation is concerned with the empirical and theoretical aspects of polarity item licensing in Swedish. I argue that polarity items are semantically sensitive to evaluability, a concept that refers to the possibility of accepting or rejecting a clause as true in a communicative exchange. Clauses are either evaluable or non-evaluable. LÄS MER

  5. 29. Вариативное глагольное управление в русском языке первой трети XIX века : Variations in Russian Verbal Government 1800–1840

    Författare :Larisa Dubrovina; Ingrid Maier; Per Ambrosiani; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Slavic and Baltic languages - general; Slaviska och baltiska språk - allmänt; ryska; 1800-tals ryska; rysk historisk syntax; verbalrektion; kasus; syntaktisk variation; Slavic languages; Slaviska språk; Slaviska språk; Slavic Languages;

    Sammanfattning : This thesis focuses on Russian case syntax, more particularly on variable verbal government (rection) in the period 1800-1840. Variable rectional patterns in two major groups are examined: non-prepositional and prepositional rection. The period under examination coincides with the establishment of the literary norm. LÄS MER

  7. 30. Functional Program Correctness Through Types

    Författare :Nils Anders Danielsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

    Sammanfattning : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. LÄS MER