Search for dissertations about: "abstract"

Showing result 1 - 5 of 4376 swedish dissertations containing the word abstract.

  1. 1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    University dissertation from Linköping : Linköping University Electronic Press

    Author : Ulf Nilsson; Linköpings universitet.; Linköpings universitet.; [1992]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. READ MORE

  2. 2. Moderate Nominalism and Moderate Realism

    University dissertation from Göteborg : University of Gothenburg

    Author : Christer Svennerlind; Göteborgs universitet.; Gothenburg University.; [2008]
    Keywords : HUMANIORA; HUMANITIES; analytic ontology; moderate nominalism; moderate realism; particular; universal; abstract; concrete; abstract particular; abstract universal; concrete particular; concrete universal; trope; moment; complex unity; collection; instance; unit attribute; intensional aspect; predicational aspect; continuous composite; articulated composite;

    Abstract : The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. READ MORE

  3. 3. Abstract Algebra of Program Refinement

    University dissertation from Åbo, Finland : Åbo Akademi, TUCS

    Author : Kim Solin; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program refinement; the logic of action; abstract algebra; Datavetenskap; Computer Science;

    Abstract : .... READ MORE

  4. 4. Type Domains for Abstract Interpretation : A critical study

    University dissertation from Uppsala universitet

    Author : Per Mildner; Uppsala universitet.; [1999]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Abstract : Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declarations makes it hard for a compiler to produce fast code since data must be assumed to be of any type. READ MORE

  5. 5. Communicating Place Methods for Understanding Children's Experience of Place

    University dissertation from Stockholm : Acta Universitatis Stockholmiensis

    Author : Sofia Cele; Stockholms universitet.; [2006]
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SOCIAL SCIENCES Business and economics Human geography; economic geography Human geography; SAMHÄLLSVETENSKAP Ekonomi Kulturgeografi; ekonomisk geografi Kulturgeografi; children; place; interviews; photography; drawings; walks; communication; qualitative methods; Sweden; England; interactive; abstract; concrete;

    Abstract : This dissertation explores how children communicate their experiences of place. It focuses on the qualitative methods of group interviews, walks, drawings and photographs, and asks how children communicate different aspects of place. READ MORE