Abstract: Inferring program transformations from concrete program changes has many potential uses, such as applying systematic program edits, refactoring, and automated program repair. Existing work ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results