Sökning: "Håkan Millroth"

Hittade 3 avhandlingar innehållade orden Håkan Millroth.

1. 1. Data-parallel Implementation of Prolog

   Författare :Johan Bevemyr; Håkan Millroth; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : .... LÄS MER

3. 2. Compilation Techniques for Prolog

   Författare :Thomas Lindgren; Håkan Millroth; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : .... LÄS MER

4. 3. 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