In my MSc-thesis I used LambdaProlog to implement a program transformation framework. It also contains general utility functions, some of which strongly exploit the higher-order capabilities of LambdaProlog. Maybe I’ll add further things here some time.
All the sources should work out-of-the-box with the Teyjus-implementation of LambdaProlog. A small OCaml-script is supplied in the distributions which can be used to translate the sources to a version that is compatible with the Terzo-implementation.
| Short description: | Program transformation framework for a pure and strict functional language |
| Version: | 1.0.5 |
| Last release: | 2008-11-30 16:53 -0500 |
| Download: | fun-trans-release-1.0.5.tar.bz2 fun-trans-release-1.0.5.tar.gz fun-trans-release-1.0.5.zip |
| Long description: | MSc-thesis |
| Mercurial release repository: | fun-trans |