Title :
A notation for non-linear program edits
Author :
Erwig, Martin ; Smeltzer, Karl ; Keying Xu
Author_Institution :
Oregon State Univ., Corvallis, OR, USA
fDate :
July 28 2014-Aug. 1 2014
Abstract :
We present a visual notation to support the understanding and reasoning about program edits. The graph-based representation directly supports a number of editing operations beyond those offered by a typical, linear program-edit model and makes obvious otherwise hidden states the code can reach through selectively undoing or redoing changes.
Keywords :
reasoning about programs; source code (software); text editing; visual programming; code; editing operations; graph-based representation; nonlinear program edit model; reasoning about program edits; visual notation; Analytical models; Cognition; Educational institutions; History; Programming; Software; Software engineering;
Conference_Titel :
Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium on
Conference_Location :
Melbourne, VIC
DOI :
10.1109/VLHCC.2014.6883057
