A 3D spreadsheet based on intensional logic
- 1 May 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 7 (3) , 78-89
- https://doi.org/10.1109/52.55232
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.Keywords
This publication has 1 reference indexed in Scilit:
- An intentional language as the basis of a 3-D spreadsheet designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003