VizierDB/paper-HILDA-2016-Spreadsheets
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Minor flow tweaks

Browse source
This commit is contained in:
Oliver Kennedy 2016-04-11 19:10:37 -04:00
parent 456b6ddc24
commit 1976ee24c4
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
sections/language.tex
View file

@ -14,9 +14,10 @@ We say that a formula $f$ evaluates to a value $v$ in the context of a given sta
We say that a state $\tuple{C, s}$ is \textit{valid} if each cell's formula evaluates to the cell's value:
$$\forall \tuple{id_i, f_i, v_i} \in C\;:\; f_i \mapsto_{\tuple{C,s}} v_i$$
User \textit{actions} in \langname, transform a state $\tuple{C_1, s_1}$ into a new state $\tuple{C_2, s_2}$. We consider two classes of action: (1) \textit{data actions} that change only the spreadsheet's cells (i.e., for which $s_1 = s_2$), and (2) \textit{structural actions} that alter the spreadsheet's coordinate system.
%
User \textit{actions} in \langname, transform a state $\tuple{C_1, s_1}$ into a new state $\tuple{C_2, s_2}$. %
We call the semantics for an action correct if they ensure that if the input to an action is valid, then the output is also valid.
%
We also focus on two classes of action: (1) \textit{data actions} that change only the spreadsheet's cells (i.e., for which $s_1 = s_2$), and (2) \textit{structural actions} that alter the spreadsheet's coordinate system and only modify the spreadsheet's cells to the extent necessary to preserve validity under the new coordinate system.
\begin{figure*}
\centering