Advanced search

Showing result 1 - 5 of 4621 swedish dissertations matching the above criteria.

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

    Author : Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; 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

  4. 2. Moderate Nominalism and Moderate Realism

    Author : Christer Svennerlind; Göteborgs universitet; []
    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

  5. 3. Abstract Algebra of Program Refinement

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

    Abstract : .... READ MORE

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

    Author : Per Mildner; Jonas Barklund; Håkan Millroth; Roland Bol; Uppsala universitet; []
    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

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

    Author : Sofia Cele; Lia Karsten; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; children; place; interviews; photography; drawings; walks; communication; qualitative methods; Sweden; England; interactive; abstract; concrete; Human geography; Kulturgeografi;

    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