Search for dissertations about: "abstract data type"
Showing result 1 - 5 of 210 swedish dissertations containing the words abstract data type.
-
1. Efficient and Practical Non-Blocking Data Structures
Abstract : This thesis deals with how to design and implement efficient, practical and reliable concurrent data structures. The design method using mutual exclusion incurs serious drawbacks, whereas the alternative non-blocking techniques avoid those problems and also admit improved parallelism. READ MORE
-
2. Type Domains for Abstract Interpretation : A critical study
Abstract : Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declarations makes it hard for a compiler to produce fast code since data must be assumed to be of any type. READ MORE
-
3. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE
-
4. Efficient Implementation of Concurrent Data Structures on Multi-core and Many-core Architectures
Abstract : Synchronization of concurrent threads is the central problem in order to design efficient concurrent data-structures. The compute systems widely available in market are increasingly becoming heterogeneous involving multi-core Central Processing Units (CPUs) and many-core Graphics Processing Units (GPUs). READ MORE
-
5. Types for Crash Preventionn
Abstract : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. READ MORE