On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Report of the “End-User Programming” working group
Languages for developing user interfaces
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
Past, present, and future of user interface software tools
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
Helping people find what they don't know
Communications of the ACM
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Software Cost Estimation with Cocomo II with Cdrom
Software Cost Estimation with Cocomo II with Cdrom
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Quantitative and Qualitative Errors in Spreadsheet Development
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information System Track-Organizational Systems and Technology - Volume 3
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
End users creating effective software
CHI '04 Extended Abstracts on Human Factors in Computing Systems
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
End users creating effective software
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Automatic generation and maintenance of correct spreadsheets
Proceedings of the 27th international conference on 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
The next step: from end-user programming to end-user software engineering
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
Dynamic inference of abstract types
Proceedings of the 2006 international symposium on Software testing and analysis
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
The semantics of graphical languages
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Enhancing the Programmability of Spreadsheets with Logic Programming
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
Topes: reusable abstractions for validating data
Proceedings of the 30th international conference on Software engineering
Using assertions to help end-user programmers create dependable web macros
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
Unification of arrays in spreadsheets with logic programming
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
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)
Detecting anomalies in the order of equally-typed method arguments
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Towards a catalog of spreadsheet smells
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
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 |
We define a unit system for end-user spreadsheets that is based on the concrete notion of units instead of the abstract concept of types. Units are derived from header information given by spreadsheets. The unit system contains concepts, such as dependent units, multiple units, and unit generalization, that allow the classification of spreadsheet contents on a more fine-grained level than types do. Also, because communication with the end user happens only in terms of objects that are contained in the spreadsheet, our system does not require end users to learn new abstract concepts of type systems.