This module performs the actual partial evaluation of a given expression, based on the RLNT calculus. The problem with the original RLNT calculus is that it does not consider let-expressions, which has been fixed by an extension, but also may duplicate non-determinism since it does implement any sharing.
Author: Björn Peemöller
Version: December 2015
pevalExpr
:: Options -> Prog -> Expr -> Expr
|