Sökning: "Jonas Barklund"

Hittade 2 avhandlingar innehållade orden Jonas Barklund.

1. 1. Reflection Principles in Computational Logic

   Författare :Pierangelo Dell'Acqua; Jonas Barklund; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. LÄS MER

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