Unification of arrays in spreadsheets with logic programming

Authors:
Philip T. Cox;Patrick Nicholson
Affiliations:
Faculty of Computer Science, Dalhousie University, Halifax, NS, Canada;Faculty of Computer Science, Dalhousie University, Halifax, NS, Canada
Venue:
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Year:
2008

Citing 11
Cited 1

A spreadsheet interface for logic programming

CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Listlog - a prolog extension for list processing

II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Adding Apples and Oranges

PADL '02 Proceedings of the 4th International Symposium 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
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

Journal of Functional Programming
Gencel: a program generator for correct spreadsheets

Journal of Functional Programming
Inferring templates from spreadsheets

Proceedings of the 28th 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
The "single-assignment" approach to parallel processing

AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
Interactive, visual fault localization support for end-user programmers

Journal of Visual Languages and Computing
Deductive spreadsheets using tabled logic programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Plato: a compiler for interactive web forms

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Unification, one of the key processes underlying logic programming (LP), provides a powerful mechanism for assembling and disassembling structures, lists in particular, by matching patterns. In recent work, we showed how spreadsheets can be enhanced by adding a visual form of LP in which lists, the fundamental structures of LP, are replaced by rectangular arrays, the fundamental structures of spreadsheets. The benefits include enhanced programmability and a way to specify high level templates for spreadsheet structures. Here, we focus on the structure of arrays, and describe the array unification algorithm underlying our current implementation.