Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
To provide a better programming experience, live programming environments allow changes to the code of running programs. These changes are usually made by editing the source code. In this paper, we introduce live programming by example which enables updates to the code by direct manipulation of the program’s user interface. Besides a formal definition of live programming by example, we also present a concrete prototype implementation for JavaScript that enables the programmer to change string literals in the source code by direct manipulation of the HTML output based on a dynamic string origin analysis. While this prototype only supports light-weight synthesis, future live program synthesis algorithms could support a wider range of program edits.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:20 | |||
13:50 20mTalk | Live Programming by Example: Using Direct Manipulation for Live Program Synthesis LIVE Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz Pre-print | ||
14:10 20mTalk | Live Literals LIVE Pre-print | ||
14:30 20mTalk | Liveness for Verification LIVE Pre-print Media Attached | ||
14:50 30mOther | Live Lightning Talks LIVE Jonathan Edwards CDG Labs |