• Publications
  • Influence
A type system for statically detecting spreadsheet errors
TLDR
We describe a methodology for detecting user errors in spreadsheets, using the notion of units as our basic elements of checking. Expand
  • 96
  • 7
  • PDF
Validating the unit correctness of spreadsheet programs
TLDR
We describe XeLda, our tool for unit checking Excel spreadsheets. Expand
  • 86
  • 6
  • PDF
Statically Finding Errors in Spreadsheets
We describe a methodology for detecting user errors in spreadsheets, using the notion of units as our basic elements of checking. We define the concept of a header and discuss two types ofExpand