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
How to communicate unit error messages in spreadsheets
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
Invited research overview: end-user programming
CHI '06 Extended Abstracts on Human Factors in Computing Systems
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Inferring templates from spreadsheets
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
End user software engineering: CHI 2007 special interest group meeting
CHI '07 Extended Abstracts on Human Factors in Computing Systems
The semantics of graphical languages
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Model-Driven Quality Assurance for End Users
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Implementing logic spreadsheets in less
The Knowledge Engineering Review
End user software engineering: chi'2008 special interest group meeting
CHI '08 Extended Abstracts on Human Factors in Computing Systems
Browsing large HTML tables on small screens
Proceedings of the 21st annual ACM symposium on User interface software and technology
Intelligently creating and recommending reusable reformatting rules
Proceedings of the 14th international conference on Intelligent user interfaces
End user software engineering: CHI: 2009 special interest group meeting
CHI '09 Extended Abstracts on Human Factors in Computing Systems
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Spatio-textual spreadsheets: geotagging via spatial coherence
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
XLWrap --- Querying and Integrating Arbitrary Spreadsheets with SPARQL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
End user software engineering: CHI 2010 special interest group meeting
CHI '10 Extended Abstracts on Human Factors in Computing Systems
Reasoning about spreadsheets with labels and dimensions
Journal of Visual Languages and Computing
Automatically extracting class diagrams from spreadsheets
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
Supporting professional spreadsheet users by generating leveled dataflow diagrams
Proceedings of the 33rd International Conference on Software Engineering
Spreadsheet table transformations from examples
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Spreadsheet-based complex data transformation
Proceedings of the 20th ACM international conference on Information and knowledge management
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Data clone detection and visualization in spreadsheets
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
This paper describes the design and implementation of a unit and header inference system for spreadsheets. The system is based on a formal model of units that we have described in previous work. Since the unit inference depends on information about headers in a spreadsheet, a realistic unit inference system requires a method for automatically determining headers. The present paper describes (1) several spatial-analysis algorithms for header inference, (2) a framework that facilitates the integration of different algorithms, and (3) the implementation of the system. The combined header and unit inference system is fully integrated into Microsoft Excel and can be used to automatically identify various kinds of errors in spreadsheets. Test results show that the system works accurately and reliably.