Search for dissertations about: "Correctness"

Showing result 1 - 5 of 245 swedish dissertations containing the word Correctness.

  2. 1. Grammatical correctness and communicative ability : a performance analysis of the written and spoken English of Swedish learners

    Author : Inger Bergström; Umeå universitet; []
    Keywords : HUMANIORA; HUMANITIES; grammatical correctness; communicative ability; performance analysis; written and spoken English; classroom instruction; low-achievers; language learning; interlanguage; compensatory strategies; errors; verb phrase; parameters; systematicity; variability; writing proficiency; speech proficiency; elicitation test;

    Abstract : Written and oral material produced by a group of low-achieving learners of English from the 2-year lines of the Swedish upper secondary school was analysed from the perspective of grammatical correctness and communicative ability. The grammatical analysis focussed on the verb phrase and tests included both free production in speech and writing and elicitation tests. READ MORE

  4. 2. Functional Program Correctness Through Types

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

    Abstract : 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. READ MORE

  5. 3. Proving the correctness of a virtual machine by a bisimulation

    Author : Mikael Rittri; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; stack machine; snapshot; one-step reduction; interpreter correctness; verification mapping; bisimulation; operational semantics; compiler correctness; SECD--machine; context; McGowan mapping; state-trace; debugging;

    Abstract : .... READ MORE

  6. 4. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

    Author : Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Abstract : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. READ MORE

  7. 5. Environments as specifications of processes

    Author : Yi Wang; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; transition system; correctness; deadlock; specification; CCS; testing equivalence; implementation; protocol verification;

    Abstract : .... READ MORE