Search for dissertations about: "declarative"

Showing result 21 - 25 of 85 swedish dissertations containing the word declarative.

  2. 21. Computational Issues in Calculi of Partial Inductive Definitions

    Author : Per Kreuger; RISE; []
    Keywords : 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.;

    Abstract : 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. READ MORE

  4. 22. PDEModelica – A High-Level Language for Modeling with Partial Differential Equations

    Author : Levon Saldamli; Peter Fritzson; Bernhard Bachmann; Francesco di Casella; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; mathematical modeling; PDEModelica; Modelica; object-oriented modeling; equation-based modeling; declarative modeling; high-level modeling languages; mathematical modeling languages; Computer science; Datavetenskap;

    Abstract : This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. READ MORE

  5. 23. A transformational approach to debugging lazy functional programs

    Author : Jan Sparud; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; tracing; lazy functional languages; declarative languages; algorithmic debugging;

    Abstract : .... READ MORE

  6. 24. Subjective Cognitive Complaints in the Working Population : The Influence of Objective Cognitive Functioning and Working Conditions

    Author : Cecilia U. D. Stenfors; Lars-Göran Nilsson; Töres Theorell; Linda L. Magnusson Hanson; Gabriel Oxenstierna; Nancy Pedersen; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Subjective cognitive complaints; cognitive functioning; declarative memory; episodic memory; semantic memory; working memory; executive cognitive functioning; psychosocial working conditions; demand-control-support model; population-based; Psychology; psykologi;

    Abstract : Cognitive functioning is important for managing work and life in general. However, subjective cognitive complaints (SCC), involving self-perceived difficulties with concentration, memory, decision making, and clear thinking are common in the general and in the working population and can be coupled with both lowered well-being and work ability. READ MORE

  7. 25. Extensible Compiler Construction

    Author : Torbjörn Ekman; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; numerical analysis; Computer science; attribute grammars; extensible compilers; context-sensitive transformations; declarative object-oriented programming; kontroll; system; numerisk analys; Datalogi; control; systems;

    Abstract : Processing of programs is a core area in computer science. A compiler that translates source text to machine language is the most well-known kind of tool in this area, but there are numerous other kinds of related applications: source-to-source translators, refactoring tools, reengineering tools, metrics tools, consistency checkers, etc. READ MORE