I know, and I agree that having one program transform the semantics of another gets into the realm of fantasy. I don't want to eliminate the role of human deve

I know, and I agree that having one program transform the semantics of another gets into the realm of fantasy. I don't want to eliminate the role of human developers from the process. Instead, I want to provide tools that the human developer who understands these semantics can use to express the desired transformations, and tools that will help carry out those transformations across a huge codebase. Tools that "magnify" the efforts of the human who has the deep understanding of the before and after semantics.