Sökning: "Declarative Programming"

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

  1. 1. Object-Oriented Declarative Program Analysis

    Detta är en avhandling från Department of Computer Science, Lund University

    Författare :Eva Magnusson; Lunds universitet.; Lund University.; [2007]
    Nyckelord :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

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

    Detta är en avhandling från Uppsala : Institutionen för informationsvetenskap

    Författare :Anne Håkansson; Uppsala universitet.; [2003]
    Nyckelord :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; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

  3. 3. Computational Issues in Calculi of Partial Inductive Definitions

    Detta är en avhandling från Uppsala : Institutionen för informationsvetenskap

    Författare :Per Kreuger; Networks and Analytics lab. Decisions; [1995]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; 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

  4. 4. Flow Java declarative concurrency for Java

    Detta är en avhandling från Uppsala : Institutionen för informationsvetenskap

    Författare :Frej Drejhammar; KTH.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik 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

  5. 5. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Peter Bunus; Linköpings universitet.; Linköpings universitet.; [2002]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. LÄS MER