FerryCore: Ferry Core Components

[ bsd3, database, library ] [ Propose Tags ]

The Ferry 2.0 Core This package contains the core components of the Ferry compiler [1]. It lacks a parser for the ferry language and the normalisation ferry front, and the conversion of ferry front language to the ferry core language.

It exposes the compiler parts that transform (un)typed ferry core into table algebra [2]. When provided an untyped ferrycore AST this ast must have the shape of a normalised ferry program. When a typed ast is used as input it is required to be typed correctly as well. The ferry compiler uses this package providing it untyped ferrycore. DSH [3] uses this package providing a typed AST.

  1. http://www-db.informatik.uni-tuebingen.de/research/ferry

  2. http://dbworld.informatik.uni-tuebingen.de/projects/pathfinder/wiki/Logical_Algebra

  3. http://www-db.informatik.uni-tuebingen.de/files/publications/ferryhaskell.pdf

Modules

[Last Documentation]

  • Database
    • Ferry
      • Database.Ferry.Compiler
      • Database.Ferry.Syntax
      • Database.Ferry.SyntaxTyped

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.4.5, 0.4.5.1, 0.4.6.1, 0.4.6.4
Dependencies base (>=4.2 && <5), containers (>=0.3.0.0), haskell98 (>=1.0.1.1), HaXml (>=1.20.2), mtl (>=2.0.1.0), parsec (>=2.1.0.1), pretty (>=1.0.1.1), TableAlgebra (>=0.1.5), template-haskell (>=2.4.0.0) [details]
License BSD-3-Clause
Author Jeroen Weijers <jeroen.weijers@uni-tuebingen.de> Tom Schreiber <tom.schreiber@uni-tuebingen.de>
Maintainer Jeroen Weijers <jeroen.weijers@uni-tuebingen.de>
Category Database
Uploaded by JeroenWeijers at 2011-02-03T12:54:55Z
Distributions
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 4073 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]