Description
The goal of ExCAPE is to transform the way programmers develop software by advancing the theory and practice of software synthesis. In the proposed paradigm, a programmer can express insights through a variety of forms such as incomplete programs, example behaviors, and high-level requirements, and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration. The ExCAPE plan is to produce a range of design tools; that let end users program robots by demonstrating example behaviors, and that provide smart assistance for expert programmers to meet challenges in multicore programming.