Foundations of a live data exploration environment Context: A growing amount of code is written to explore and analyze data, often by data analysts who do not have a traditional background in programming, for example by journalists.  :30,The way such data anlysts write code is different from the way software engineers do so. They use few abstractions, work interactively and rely heavily on external libraries. We aim to capture this way of working and build a programming environment that makes data exploration easier by providing instant live feedback.  We :82,combine theoretical and applied approach. We present the emphdata exploration calculus, a formal language that captures the structure of code written by data analysts. We then implement a data exploration environment that evaluates code instantly during editing and shows previews of the results.  We :127,formally describe an algorithm for providing instant previews for the data exploration calculus that allows the user to modify code in an unrestricted way in a text editor. Supporting interactive editing is tricky as any edit can change the structure of code and fully recomputing the output would be too expensive.  We :180,prove that our algorithm is correct and that it reuses previous results when updating previews after a number of common code edit operations. We also illustrate the practicality of our approach with an empirical evaluation and a case study.  :221,As data analysis becomes an ever more important use of programming, research on programming languages and tools needs to consider new kinds of programming workflows appropriate for those domains and conceive new kinds of tools that can support them. :30,The present paper is one step in this important direction.

A Hybrid Editor for Fast Robot Mission Prototyping We present an editor that creates an interactive live preview for simple robot missions. The preview provides instant feedback and the statements in the script can be adapted through direct manipulation of the visualization. While the program is executed to draw the preview, it decorates each value with location information and the expression that produced it. If a value is changed in the visualization, the change can be traced back to the source to produce the desired result. An application prototype demonstrates that our approach produces sensible and generalizing results even in the presence of control flow structures in our DSL.