Search for dissertations about: "Type System"
Showing result 1 - 5 of 3236 swedish dissertations containing the words Type System.
-
1. Advancing concurrent system verification : Type based approach and tools
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
-
2. Descriptive Types for XML Query Language Xcerpt
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
-
3. Type Theory with First-Order Data Types and Size-Change Termination
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
-
4. The type I-E CRISPR-Cas system : Biology and applications of an adaptive immune system in bacteria
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
-
5. The nervous system of box jellyfish: A surprisingly complex system in a simple animal
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