Search for dissertations about: "declarative"

Showing result 1 - 5 of 78 swedish dissertations containing the word declarative.

  1. 1. From Declarative Models to Local Search

    Author : Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 2. Object-Oriented Declarative Program Analysis

    Author : Eva Magnusson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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

  3. 3. Flow Java : declarative concurrency for Java

    Author : Frej Drejhammar; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

  4. 4. Performance-polymorphic declarative queries

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

    Abstract : .... READ MORE

  5. 5. English in Primary Education in Sweden and Vietnam : Teaching practices, learner outcomes and out-of-school exposure

    Author : Vi Thanh Son; Språkinlärning; []
    Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; L2 English; primary school; procedural; ; declarative; grammar; 3-sg-s; Sweden; Vietnam; out-of-school exposure;

    Abstract : This thesis investigates the interaction between teaching and learning of English in young learners in Sweden and in Vietnam. It thus brings together two perspectives – teaching and learning – that are seldom compared between cultural contexts. The main focus of the study is to examine procedural and declarative knowledge of English grammar. READ MORE