Sökning: "BNFC"

Hittade 2 uppsatser innehållade ordet BNFC.

  1. 1. Lollipop - A general purpose, functional programming language with linear types

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :EDVARD HÜBINETTE; JOHAN ANDERSSON; JONATHAN JOHANSSON; MARIE KLEVEDAL; MIKAEL MALMQVIST; [2016-11-14]
    Nyckelord :Functional programming; Linear types; BNFC; Haskell;

    Sammanfattning : This project designs and implements a general-purpose functional programming language with linear types, called Lollipop. The purpose is to investigate how linear types can be a part of modern programming languages. LÄS MER

  3. 2. AGATA - Random generation of test data

    Magister-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Jonas Almström-Duregård; [2010-03-08]
    Nyckelord :;

    Sammanfattning : Agata Generates Algebraic Types Automatically. The generated data can be used to perform property based testing with the Haskell testing framework QuickCheck, or the alternative framework SmallCheck. Unlike regular QuickCheck generators, Agata generators are mechanically derivable from the definition of an algebraic data type. LÄS MER