Project Website http://people.csail.mit.edu.ezproxyberklee.flo.org/rishabh/storyboard-website/
Storyboard Programming aims to provide programmers a natural and intuitive platform for developing low-level data structure implementations from intuitive high-level graphical insights. When developing data-structures, programmers usually use "box-and-arrows" diagrams on a whiteboard to develop an intuition for their behavior, and then translate this intuition into low-level code using a painful and error-prone process. Storyboard programming framework provides programmers a platform to provide these whiteboard graphical insights and the framework synthesizes a low-level implementation conforming to the graphical insights.
The Storyboard framework lets programmer specify their insights for the Tree-rotation manipulation and the framework synthesizes the low level code.