Sökning: "Declarative Programming"

Visar resultat 1 - 5 av 29 avhandlingar innehållade orden Declarative Programming.

  1. 1. From Declarative Models to Local Search

    Författare :Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. Object-Oriented Declarative Program Analysis

    Författare :Eva Magnusson; Institutionen för datavetenskap; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process

    Författare :Anne Håkansson; Andreas Hamfelt; Harald Kjellin; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Artficial Intelligence; Knowledge-Based Systems; Knowledge Acquisition; Graphic Representation; Visualisation; Unified Modelling Language; Modelling Rule-based Systems; Visual programming; Declarative Programming; Information Networks; User-Centered Design; Knowledge Interface; Datavetenskap; Computer science; Datavetenskap; datalogi; Computer Science;

    Sammanfattning : The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. LÄS MER

  5. 4. Computational Issues in Calculi of Partial Inductive Definitions

    Författare :Per Kreuger; RISE; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER

  7. 5. Flow Java : declarative concurrency for Java

    Författare :Frej Drejhammar; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; Computer engineering; Datorteknik;

    Sammanfattning : 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. LÄS MER