Tie Cheng

Learn More
Spreadsheets are widely used, yet are error-prone. In particular , they use a weak type system, which allows certain operations that will silently return unexpected results, like comparisons of integer values with string values. However, discovering these issues is hard, since data and formulas can be dynamically set, read or modified. We propose a static(More)
  • 1