Sökning: "non-strict"

Hittade 2 avhandlingar innehållade ordet non-strict.

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

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

    Sammanfattning : 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. LÄS MER

  3. 2. Nutrition in acute pancreatitis - influence on gut barrier and inflammatory response

    Författare :Gunilla Eckerwall; Lund Kirurgi; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Surgery; orthopaedics; traumatology; Kirurgi; ortopedi; Medicin människa och djur ; intestinal permeability; nasogastric; acute inflammation; dietary fiber; Medicine human and vertebrates ; immediate oral feeding; fluid resuscitation; Acute pancreatitis; enteral nutrition; traumatologi;

    Sammanfattning : Acute pancreatitis (AP) is associated with metabolic changes, acute inflammatory response and increased gut permeability. In AP, traditional treatment has been initial fasting on purpose to avoid activation of proteolytic enzymes and pancreatic enzyme secretion. LÄS MER