Programming by Example in Computing-as-Editing Paradigm

Masami Hagiya,  Tomoki Shiratori  

 About the Authors

Programming By Example   Demonstrational Programming   Constraints   Spread Sheet  


Programming by example (PBE) from computation traces is hard to realize because of the difficulty to support an interactive environment in which traces are easily written and edited. In this paper, we propose a new approach to PBE called Computing-As-Editing Paradigm (CAEP) and describe a PBE system based on the paradigm. The system has a two-dimensional language of constraints for writing computation traces. Constraints represent rules that hold on every computation trace of the same program. In order to uniformly treat rules on traces as constraints, we introduced a new kind of constraint called "iteration constraint", which can represent iteration with fixed increments by simply pointing to the first and second iteration steps. We also developed a new algorithm for inferring conditional expressions in iteration.

 Document in PostScript (compressed, 50795 bytes)

 Homepage of the Boomborg Project

Programming Agents with Visual Rules Programming with Visual Expressions Index of Talks Proceedings - 11th Intl. Symposium on Visual Languages