Sökning: "Declarative"

Visar resultat 16 - 20 av 93 avhandlingar innehållade ordet Declarative.

  1. 16. Contributions to the declarative approach to debugging Prolog programs

    Författare :Simin Nadjm-Tehrani; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Logic programs have the characteristic that their intended semantics can be expressed declaratively or operationally. Since the two semantics coincide, programmers may find it easier to adopt the declarative view when writing the program. But this causes a problem when the program is to be debugged. LÄS MER

  3. 17. A declarative approach to debugging for lazy functional languages

    Författare :Henrik Nilsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Debugging programs written in lazy functional languages is difficult, and there are currently no realistic, general purpose debugging tools available. The basic problem is that computations in general do not take place in the order one might expect. LÄS MER

  4. 18. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Författare :Peter Bunus; Peter Fritzson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; Computer science; 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

  5. 19. Flexible Authoring of Metadata for Learning : Assembling forms from a declarative data and view model

    Författare :Fredrik Enoksson; Olle Bälter; Ambjörn Naeve; Pawlowski Jan; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Metadata; RDF; Semantic Web; metadata editors; metadata authoring; Computer science; Datavetenskap;

    Sammanfattning : With the vast amount of information in various formats that is produced today it becomes necessary for consumers ofthis information to be able to judge if it is relevant for them. One way to enable that is to provide information abouteach piece of information, i.e. provide metadata. LÄS MER

  7. 20. Verb-erst-Deklarativsätze. Grammatik und Pragmatik

    Författare :Olaf Önnerfors; Tyska; []
    Nyckelord :HUMANIORA; HUMANITIES; German language and literatur; Germanic languages; performative use; German; declarative clause; clause-initial position of the finite verb; syntax; topic-comment structure; information structure; theticity; narrativity; enumeration; deontic modality; exclamation; causality; Tyska språk och litteratur ;

    Sammanfattning : The aim of this thesis is to describe and explain independent declarative clauses in German which have the finite verb in absolute clause-initial position. They are called verb-first declarative clauses. It is shown that this type of clause can be found in a variety of Germanic languages. LÄS MER