A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
test
.gitattributes
LICENSE.md
LPrologMakefile
Makefile
README.md
TODO.md
cse.mod
cse.sig
effect_monad.mod
effect_monad.sig
let_ext.mod
let_ext.sig
lprolog.vim
main.mod
main.sig
make_terzo.ml
oper_sem.mod
oper_sem.sig
part_eval.mod
part_eval.sig
poly_oper_sem.mod
poly_oper_sem.sig
poly_terms.mod
poly_terms.sig
poly_types.mod
poly_types.sig
poly_typing.mod
poly_typing.sig
termination.mod
termination.sig
terms.mod
terms.sig
terzo_stuff.mod
tp_let_ext.mod
tp_let_ext.sig
tp_part_eval.mod
tp_part_eval.sig
tp_terms.mod
tp_terms.sig
trafo.mod
trafo.sig
types.mod
types.sig
typing.mod
typing.sig
utils.mod
utils.sig

README.md

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. The implementation language is LambdaProlog.