A proposal for an extended form of type checking of expressions
The Computer Journal
Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Catching bugs in the web of program invariants
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Relational parametricity and units of measure
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
What we know about spreadsheet errors
Journal of End User Computing - End User Development
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Finding the source of type errors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Spreadsheets in Science and Engineering
Spreadsheets in Science and Engineering
Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Harnessing curiosity to increase correctness in end-user programming
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
Visually Customizing Inference Rules About Apples and Oranges
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Fluid Visualization of Spreadsheet Structures
VL '98 Proceedings of the IEEE Symposium on Visual Languages
DrScheme: a programming environment for Scheme
Journal of Functional Programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Automatic generation and maintenance of correct spreadsheets
Proceedings of the 27th international conference on Software engineering
An empirical study of fault localization for end-user programmers
Proceedings of the 27th international conference on Software engineering
WEUSE I Proceedings of the first workshop on End-user software engineering
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Inferring templates from spreadsheets
Proceedings of the 28th international conference on Software engineering
Osprey: a practical type system for validating dimensional unit correctness of C programs
Proceedings of the 28th international conference on Software engineering
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
An empirical evaluation of a testing and debugging methodology for Excel
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Spreadsheet functional programming
Journal of Functional Programming
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Automatic dimension inference and checking for object-oriented programs
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
“little language” project modules
Journal of Functional Programming
Reasoning about spreadsheets with labels and dimensions
Journal of Visual Languages and Computing
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
Checking SCADE models for correct usage of physical units
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Spreadsheet-based template language prototype for tree data structure description and interpretation
Proceedings of the 13th International Conference on Computer Systems and Technologies
An abstract domain to infer types over zones in spreadsheets
SAS'12 Proceedings of the 19th international conference on Static Analysis
Hi-index | 0.00 |
Financial companies, engineering firms and even scientistscreate increasingly larger spreadsheets and spreadsheetprograms. The creators of large spreadsheets makeerrors and must track them down. One common class oferrors concerns unit errors, because spreadsheets often employformulas with physical or monetary units.In this paper, we describe XeLda, our tool for unit checkingExcel spreadsheets. The tool highlights cells if theirformulas process values with incorrect units and if derivedunits clash with unit annotations. In addition, it draws arrowsto the sources of the formulas for debugging. The toolis sensitive to many of the intricacies of Excel spreadsheetsincluding tables, matrices, and even circular references.Using XeLda, we have detected errors in some publishedscientific spreadsheets.