Sökning: "abstract"

Visar resultat 1 - 5 av 5479 avhandlingar innehållade ordet abstract.

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

   Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : 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. LÄS MER

3. 2. Moderate Nominalism and Moderate Realism

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

   Sammanfattning : 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. LÄS MER

4. 3. Abstract Algebra of Program Refinement

   Författare :Kim Solin; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program refinement; the logic of action; abstract algebra; Datavetenskap; Computer Science;

   Sammanfattning : .... LÄS MER

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

   Författare :Per Mildner; Jonas Barklund; Håkan Millroth; Roland Bol; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER