Explaining Spreadsheets with Spreadsheets

The document proposes using an explanation language to augment spreadsheets with explanations written in a structured format. It describes an initial language with constructs like labels, loops, and references. An empirical evaluation found the language helped users understand what was calculated in cells and how. Principles for explanation languages are discussed, like retaining structures, abstraction, partial explanations, and compositionality. The goal is to automatically generate explanation sheets to help users understand spreadsheets.