Advanced search

Showing result 1 - 5 of 85 swedish dissertations matching the above criteria.

2. 1. From Declarative Models to Local Search

   Author : Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; discrete optimisation; combinatorial optimisation; local search; large-neighbourhood search; MiniZinc; constraint programming; declarative modelling; declarative neighbourhoods; Computer Science; Datavetenskap;

   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

4. 2. Object-Oriented Declarative Program Analysis

   Author : Eva Magnusson; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; Datalogi; control; systems; numerical analysis; Declarative object-oriented programming; attribute grammars; fixed-point computations; Computer science; cross references; system; kontroll;

   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

5. 3. Flow Java : declarative concurrency for Java

   Author : Frej Drejhammar; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; Computer engineering; Datorteknik;

   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

6. 4. Performance-polymorphic declarative queries

   Author : Thomas Padron-McCarthy; Linköpings universitet; []
   Keywords : ;

   Abstract : .... READ MORE

7. 5. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

   Author : Idriss Riouak; Programvaruteknik; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

   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