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.
Our implementation supports the features commonly found in real-world spreadsheets.
We ran our analyzer on the EUSES Spreadsheet Corpus.
This evaluation shows that our tool is able to automatically verify a large number of real spreadsheets, runs in a reasonable time and discovers complex bugs that are difficult to detect by code review or by testing.
The research leading to these results has received funding from the European Research Council under the European Union’s seventh framework programme (FP7/2007-2013), grant agreement 278673, Project Mem CAD.
I've worked long enough with bloated Excel to know its day is past.
One of my colleagues, even a few years ago, ditched a massive investment in Excel workspaces in favor of a proprietary wx Python replacement. It seems that there isn't a free version of the paper online.It's abstract seems to be a little bit short, can you summarize it better?Validating the Unit Correctness of Spreadsheet Programs. Steckler and Shriram Krishnamurthi and Erich Neuwirth and Matthias Felleisen International Conference on Software Engineering, 2004 More information on Xe Lda.The unit checking process is explained in detail, and a case study of applying Xe Lda is presented.Notice, by the way, that Shriram Krishnamurthi has finally made his publications available. Scientists use spreadsheets regularly, at least some whom I know. I wish Krishnamurthi et al would focus attention on Open Office.Units are one of those strangely neglected corners of software. Even what they have might work under the COM to UNO bridge.