The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (1990 vol.7)
pp: 78-89
ABSTRACT
<p>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.</p>
INDEX TERMS
3D spreadsheet; intensional logic; assertions; declarative spreadsheet; formal semantics; intensional semantics; formalization; systolic algorithm; matrix multiplication; spreadsheet programs
CITATION
Weichang Du, William W. Wadge, "A 3D Spreadsheet Based on Intensional Logic", IEEE Software, vol.7, no. 3, pp. 78-89, May/June 1990, doi:10.1109/52.55232
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool