This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A 3D Spreadsheet Based on Intensional Logic
May/June 1990 (vol. 7 no. 3)
pp. 78-89

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.

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
Usage of this product signifies your acceptance of the Terms of Use.