PAKCS
Exported names: Imported modules:

Module PeLetRW

This module performs the actual partial evaluation of a given expression, based on let-rewriting [PPDP'07]. The problem with the let-rewriting calculus is that it does not

  • consider recursive let-expressions
  • provide an operational semantics

Author: Björn Peemöller

Version: April 2015

Summary of exported operations:

pevalExpr :: Options -> Prog -> Expr -> Expr   

Exported operations:

pevalExpr :: Options -> Prog -> Expr -> Expr