The FerryCore package
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
Properties
| Versions | 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), HaXml (≥1.22), mtl (≥2.0.1.0), parsec (≥2.1.0.1), pretty (≥1.0.1.1), TableAlgebra (≥0.7.1), template-haskell (≥2.4.0.0) |
| License | BSD3 |
| 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 |
| Upload date | Wed Aug 17 06:36:50 UTC 2011 |
| Uploaded by | JeroenWeijers |
| Built on | ghc-7.2 |
| Distributions | NixOS: 0.4.6.4 |
Modules
Downloads
- FerryCore-0.4.6.4.tar.gz (Cabal source package)
- package description (included in the package)