Sökning: "abstract"
Visar resultat 1 - 5 av 5479 avhandlingar innehållade ordet abstract.
1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs
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
2. Moderate Nominalism and Moderate Realism
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
3. Abstract Algebra of Program Refinement
Sammanfattning : .... LÄS MER
4. Type Domains for Abstract Interpretation : A critical study
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
5. Communicating Place : Methods for Understanding Children's Experience of Place
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