Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 13:50 - 14:10 at Foscolo - Summer

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 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20
SummerLIVE at Foscolo
13:50
20m
Talk
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
20m
Talk
Live Literals
LIVE
Tijs van der Storm CWI, Felienne Hermans Delft University of Technology
Pre-print
14:30
20m
Talk
Liveness for Verification
LIVE
Roly Perera University of {Glasgow, Edinburgh}, Simon J. Gay
Pre-print Media Attached
14:50
30m
Other
Live Lightning Talks
LIVE