The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (1990 vol. 7)
ISSN: 0740-7459
pp: 78-89
<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>
3D spreadsheet; intensional logic; assertions; declarative spreadsheet; formal semantics; intensional semantics; formalization; systolic algorithm; matrix multiplication; spreadsheet programs
Weichang Du, William W. Wadge, "A 3D Spreadsheet Based on Intensional Logic", IEEE Software, vol. 7, no. , pp. 78-89, May/June 1990, doi:10.1109/52.55232
109 ms
(Ver 3.3 (11022016))