A 3D Spreadsheet Based on Intensional Logic

Authors:
Weichang Du;William W. Wadge
Affiliations:
-;-
Venue:
IEEE Software
Year:
1990

Citing 1
Cited 9

LUCID, the dataflow programming language

LUCID, the dataflow programming language

Operational versus definitional: a perspective on programming paradigms

Computer
Higher-order dataflow and its implementation on stock hardware

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Interactive visual functional programming

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
A FCCM for dataflow (spreadsheet) programs

FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

Journal of Functional Programming
Higher-order functional languages and intensional logic

Journal of Functional Programming
First-order functional languages and intensional logic

Journal of Functional Programming
GLU embedded in C++: a marriage between multidimensional and object-oriented programming

Software—Practice & Experience
Enhancing the Programmability of Spreadsheets with Logic Programming

VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A three-dimensional spreadsheet design based on intensional logic is proposed. Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. The intensional spreadsheet is a declarative spreadsheet with a simple formal semantics called intensional semantics. It is expected to be suitable for a wide range of applications and for various users, including those who have had conventional programming experience. As an example of using the intensional 3-D spreadsheet, the formalization of a systolic algorithm for matrix multiplication is considered.