Search for dissertations about: "declarative"
Showing result 1 - 5 of 85 swedish dissertations containing the word declarative.
-
1. From Declarative Models to Local Search
Abstract : A solver is a general-purpose software for solving optimisation problems. It takes as input a description of a problem, called a model, and uses a collection of algorithms, called its solving technology, to ideally produce an optimal solution as output. Most solvers have a modelling language that cannot be processed by other solvers. READ MORE
-
2. Object-Oriented Declarative Program Analysis
Abstract : This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. READ MORE
-
3. Flow Java : declarative concurrency for Java
Abstract : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. READ MORE
-
4. Performance-polymorphic declarative queries
Abstract : .... READ MORE
-
5. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Abstract : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. READ MORE