Search for dissertations about: "Type system"

Showing result 1 - 5 of 3246 swedish dissertations containing the words Type system.

  2. 1. Advancing concurrent system verification : Type based approach and tools

    Author : Ramunas Gutkovas; Johannes Borgström; Björn Victor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE

  4. 2. Descriptive Types for XML Query Language Xcerpt

    Author : Artur Wilk; Jan Maluszynski; Jørgen Fischer Nilsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Type system; XML querying; Xcerpt; Type inference; Type definitions; Computer science; Datavetenskap;

    Abstract : The thesis presents a type system for a substantial fragment of XML query language Xcerpt. The system is descriptive; the types associated with Xcerpt constructs are sets of data terms and approximate the semantics of the constructs.A formalism of Type Definitions, related to XML schema languages, is adopted to specify such sets. READ MORE

  5. 3. Type Theory with First-Order Data Types and Size-Change Termination

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Abstract : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. READ MORE

  6. 4. The type I-E CRISPR-Cas system : Biology and applications of an adaptive immune system in bacteria

    Author : Lina Amlinger; Magnus Lundgren; Peter Fineran; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; CRISPR; CRISPR-Cas; virus defense; bacteria; bacteriophage; adaptation; spacer integration; interference; gene silencing; fluorescent reporter; Escherichia coli; Mikrobiologi; Microbiology;

    Abstract : CRISPR-Cas systems are adaptive immune systems in bacteria and archaea, consisting of a clustered regularly interspaced short palindromic repeats (CRISPR) array and CRISPR associated (Cas) proteins. In this work, the type I-E CRISPR-Cas system of Escherichia coli was studied.CRISPR-Cas immunity is divided into three stages. READ MORE

  7. 5. The nervous system of box jellyfish: A surprisingly complex system in a simple animal

    Author : Linda Parkefelt; Biologiska institutionen; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; proliferating cell nuclear antigen; arginine vasotocin; RFamide; immunofluorescence; visual system; nervous system; Tripedalia cystophora; Cnidaria; box jellyfish;

    Abstract : The four surprisingly complex visual sensory organs of cubomedusae, the rhopalia, contain each six eyes of four morphologically different types, two of which are camera-type eyes. This means that the evolutionary basal nervous system of cubomedusae must process the visual signals received from a total of 24 rhopalial eyes. READ MORE