LogiCalc: a prolog spreadsheet
Machine intelligence 11
Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A spreadsheet interface for logic programming
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Graphical techniques in a spreadsheet for specifying user interfaces
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Constraint-based mode analysis of mercury
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A 3D Spreadsheet Based on Intensional Logic
IEEE Software
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
A user-centred approach to functions in Excel
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
AVI '96 Proceedings of the workshop on Advanced visual interfaces
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Inferring templates from spreadsheets
Proceedings of the 28th international conference on Software engineering
VIVA: A visual language for image processing
Journal of Visual Languages and Computing
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Unification of arrays in spreadsheets with logic programming
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Hi-index | 0.00 |
Spreadsheet languages, of which Microsoft Excel is the prototypical example, are arguably the most successful and widely used visual programming languages. The programming facilities provided by spreadsheets, however, are severely limited, forcing users who need more complex computations to resort to convoluted arrangements of arrays of intermediate results, textual languages such as Basic, built-in functions, and various other ad hoc devices that have been added over the years. A consequence of this deficiency is that, despite their usefulness, spreadsheets are among the most error-prone of programming tools. To address this shortcoming, we propose an enhancement in which sheets can be programmed using logic programming. By replacing lists, the fundamental data structures of logic languages, with arrays, the fundamental structures of spreadsheets, we achieve a natural integration of logic-based and sheet-based computation, providing a concrete visualisation of operations that divide and assemble arrays of cells.