kirancodes.me
To Proof Maintenance & Beyond!

Editing by Example

Robert P. Nix

Abstract

An editing by example system is an automatic program synthesis facility embedded in a text editor that can be used to solve repetitive text editing problems. The user provides the editor with a few examples of a text transformation. The system analyzes the examples and generalizes them into a program that can perform the transformation to the rest of the user's text.

Related papers