Sökning: "Roland Bol"

Hittade 1 avhandling innehållade orden Roland Bol.

1. 1. 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