 Validating the Unit Correctness of Spreadsheet Programs
started 4/15/2004; 2:37:40 AM - last post 4/17/2004; 3:48:30 PM
|
|
Ehud Lamm - Validating the Unit Correctness of Spreadsheet Programs 
4/15/2004; 2:37:40 AM (reads: 8259, responses: 6)
|
|
| Validating the Unit Correctness of Spreadsheet Programs |
|
Validating the Unit Correctness of Spreadsheet Programs.
Tudor Antoniu and Paul A. Steckler and Shriram Krishnamurthi and Erich Neuwirth and Matthias Felleisen
International Conference on Software Engineering, 2004
More information on XeLda. The unit checking process is explained in detail, and a case study of applying XeLda is presented.
Notice, by the way, that Shriram Krishnamurthi has finally made his publications available.
Posted to DSL by Ehud Lamm on 4/15/04; 2:38:37 AM
|
|
|
|
Mark Evans - Re: Validating the Unit Correctness of Spreadsheet Programs
4/17/2004; 11:16:27 AM (reads: 140, responses: 5)
|
|
|
Units are one of those strangely neglected corners of software. I do not understand why. The work here is heartening. Scientists use spreadsheets regularly, at least some whom I know. Spreadsheets are good for design tradeoff studies.
I wish Krishnamurthi et al would focus attention on OpenOffice. Even what they have might work under the COM to UNO bridge. 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 wxPython replacement. Of course Python works with OpenOffice.
|
|
Ehud Lamm - Re: Validating the Unit Correctness of Spreadsheet Programs
4/17/2004; 11:45:59 AM (reads: 144, responses: 3)
|
|
|
|
Daniel Yokomiso - Re: Validating the Unit Correctness of Spreadsheet Programs
4/17/2004; 2:20:38 PM (reads: 135, responses: 2)
|
|
|
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? I'm familiar with Dmitry Kazakov's Units of Measurement for Ada work, so I want to know if the paper has something that's not in his library. I don't want to pay US$ 15.00 for a paper if it isn't particularly enlightening ;-)
|
|
andrew cooke - Re: Validating the Unit Correctness of Spreadsheet Programs
4/17/2004; 3:48:30 PM (reads: 129, responses: 0)
|
|
|
i've seen discussions related to this on and off for years. here's a usenest post from 2000, for example; and a paper by andrew kennedy doing this in ml in 1997 (scroll down to "Relational Parametricity and Units of Measure").
|
|
Ehud Lamm - Re: Validating the Unit Correctness of Spreadsheet Programs
4/18/2004; 1:27:14 AM (reads: 111, responses: 1)
|
|
|
Sorry about that. Maybe a free version is somewhere out there. The paper compares various approaches that were proposed for solving the unit issue using the Ada type system, and finds all of them lacking. IIRC the recommendation is to add units to the language, if the issue is regarded as important enough.
|
|
Ehud Lamm - Re: Validating the Unit Correctness of Spreadsheet Programs
4/18/2004; 1:57:34 AM (reads: 113, responses: 0)
|
|
|
I quote from the conclusion to the paper:
In Ada 95 full support for dimensional arithmetics can only be achieved with run-time solutions. Since the Ada0Y process is just reaching its decisive phase, consideratios presented above could perhaps serve WG9 as an impetus to think about ways to ease handling physical items in the next language version.
|
|
|
|