Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Building constraint satisfaction problem solvers using rewrite rules and strategies
Fundamenta Informaticae - Special issue on foundations of constraint programming
A new basis for spreadsheet computing: Interval Solver for Microsoft Excel
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Principles for Information Visualization Spreadsheets
IEEE Computer Graphics and Applications
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Spreadsheets on Trial: A Survey of Research on Spreadsheet Risks
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 2: Decision Support and Knowledge-Based Systems
A declarative programming environment based on constraints
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Modelling with Constraints: A Bibliographical Survey
IV '98 Proceedings of the International Conference on Information Visualisation
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |
Starting from existing spreadsheet software, like Lotus 1-2-3®, Excel®, or Spreadsheet 2000®, we propose a sequence of enhancements to fully integrate constraint-based reasoning, culminating in a system for reactive, graphical, mathematical constructions. This is driven by our view of constraints as the essence of (spreadsheet) computation, rather than as an add-on tool for expert users. We call this extended computational metaphor, spreadspaces.