Learn More
Program transformation is an appealing technique which allows to improve run-time efficiency , space-consumption, and more generally to optimize a given program. Essentially, it consists of a sequence of syntactic program manipulations which preserves some kind of semantic equivalence. Unfolding is one of the basic operations which is used by most program(More)
  • 1