A logical basis for nested array data structures
作者： Michael A. Jenkins , Janice I. Glasgow
DOI: 10.1016/0096-0551(89)90029-5
关键词:
摘要: Abstract A logical description of array data structures is presented as an extension a theory equality over lists. It provides axioms and theorems that describe the objects Nested Interactive Array Language, Nial. model for presented, application to development logic programming Nial described.
elsevier.com
sci-hub.se 参考文章(7)
Richard Waldinger, Zohar Manna, The logical basis for computer programming ,(1985)
Trenchard More, The nested rectangular array as a model of data ACM SIGAPL APL Quote Quad. ,vol. 9, pp. 55- 73 ,(1979) , 10.1145/390009.804440
Trenchard More, Nested rectangular arrays for measures, addresses, and paths ACM SIGAPL APL Quote Quad. ,vol. 9, pp. 156- 163 ,(1979) , 10.1145/390009.804456
W. E. Gull, M. A. Jenkins, Recursive data structures in APL Communications of The ACM. ,vol. 22, pp. 79- 96 ,(1979) , 10.1145/359060.359067
T. More, Axioms and Theorems for a Theory of Arrays IBM Journal of Research and Development. ,vol. 17, pp. 135- 175 ,(1973) , 10.1147/RD.172.0135
Bob Smith, Nested arrays, operators, and functions ACM SIGAPL APL Quote Quad. ,vol. 12, pp. 286- 290 ,(1981) , 10.1145/390007.805376
J I Glasgow, P L Douglas, R Chau, Building expert systems for chemical process engineering using NIAL 6th International Workshop Vol. 3 on Expert systems & their applications. pp. 1355- 1369 ,(1987)