Essays about: "BNFC"

Found 2 essays containing the word BNFC.

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

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

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

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

  3. 2. AGATA - Random generation of test data

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jonas Almström-Duregård; [2010-03-08T15:13:24Z]
    Keywords : ;

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