Using Abstraction to Automate Program Improvement by Transformation

Ian Green. Using Abstraction to Automate Program Improvement by Transformation. In AAAI. pages 317-322, 1991.

Abstract

Abstract is missing.