BiGUL: The Bidirectional Generic Update Language
Putback-based bidirectional programming allows the programmer to write only one putback transformation, from which the unique corresponding forward transformation is derived for free. BiGUL, short for the Bidirectional Generic Update Language, is designed to be a minimalist putback-based bidirectional programming language. BiGUL was originally developed in the dependently typed programming language Agda, and its well-behavedness has been completely formally verified; this package is the Haskell port of BiGUL.
For more detail, see the following paper:
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu. BiGUL: A formally verified core language for putback-based bidirectional programming. In Partial Evaluation and Program Manipulation, PEPM’16, pages 61–72. ACM, 2016. http://dx.doi.org/10.1145/2847538.2847544.
Modules
[Index]
Downloads
- BiGUL-1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.9.0.0, 1.0.0, 1.0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.8 && <4.10), containers (>=0.5), mtl (>=2.2), template-haskell (>=2.10), th-extras (>=0.0.0.4) [details] |
| License | LicenseRef-PublicDomain |
| Author | Josh Ko, Tao Zan, Li Liu, Zirun Zhu, Jorge Mendes, and Zhenjiang Hu |
| Maintainer | Josh Ko <hsiang-shang@nii.ac.jp> and Zirun Zhu <zhu@nii.ac.jp> |
| Category | Language, Generics, Lenses |
| Home page | http://www.prg.nii.ac.jp/project/bigul/ |
| Uploaded | by joshko at 2016-08-30T09:49:01Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 2523 total (12 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2016-08-30 [all 1 reports] |