https://github.com/mmottl/fun-trans
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
https://github.com/mmottl/fun-trans
higher-order-logic monads program-transformations prolog
Last synced: 4 months ago
JSON representation
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
- Host: GitHub
- URL: https://github.com/mmottl/fun-trans
- Owner: mmottl
- License: lgpl-2.1
- Created: 2014-07-03T21:20:12.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2025-01-19T01:49:44.000Z (about 1 year ago)
- Last Synced: 2025-02-24T01:13:15.715Z (11 months ago)
- Topics: higher-order-logic, monads, program-transformations, prolog
- Language: Vim Script
- Size: 69.3 KB
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# Fun-trans - A Framework for Transforming Functional Programs
This source code implements the program transformation framework for a strict and
pure functional language described in the master's thesis
[Automating Functional Program Transformation](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.3479).
The implementation language is
[LambdaProlog](http://www.lix.polytechnique.fr/~dale/lProlog).