Search for dissertations about: "Nils Anders Danielsson"

Found 2 swedish dissertations containing the words Nils Anders Danielsson.

2. 1. Functional Program Correctness Through Types

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

   Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE

4. 2. Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; partial; inductive; coinductive; non-strict; equational reasoning; lifted; infinite; functional programming;

   Abstract : This thesis consists of two parts. Both concern reasoning about non-strict functional programming languages with partial and infinite values and lifted types, including lifted function spaces.The first part is a case study in program verification: We have written a simple parser and a corresponding pretty-printer in Haskell. READ MORE