Kale: A Transformation-Safe Spreadsheet System

研究表格插入行列后矩形引用自动扩展造成的语义漂移；用户研究显示传统引用语义会把高风险操作变成隐蔽 bug，Kale 则限制可表达引用来消除这类路径。作者还用语料研究评估限制对真实工作表的影响，价值在于把电子表格的“灵活”改成可验证的结构约束，而不是再增加一个兼容性开关。