Search for dissertations about: "Roland Bol"

Found 1 swedish dissertation containing the words Roland Bol.

2. 1. Type Domains for Abstract Interpretation : A critical study

   Author : Per Mildner; Jonas Barklund; Håkan Millroth; Roland Bol; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Abstract : 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. READ MORE