A logical basis for nested array data structures
References (23)
- et al.
The Q'Nial Reference Manual
(1985) - et al.
Programming styles in Nial. IEEE Software Engng
On the composition of array theoretic operations
The nested rectangular array as a model of data
Proceedings of APL 79, APL Quote Quad
(1979)On combining the data structure concepts of Lisp and APL
- et al.
Building expert systems for chemical process engineering using Nial
- et al.
A framework for knowledge based systems in Nial
XESSFS and BUSI: Expert systems for chemical process development
The role of equations in Nial
- et al.
The Logical Basis for Computer Programming
(1985)
Axioms and theorems for a theory of arrays
IBM J. Res. Dev.
(1973)
Cited by (14)
A uniform way of reasoning about array-based computation in radar: Algebraically connecting the hardware/software boundary
2005, Digital Signal Processing: A Review Journal12 A semantics for model-based spatial reasoning
1999, Advances in PsychologyA semantics for shape
1995, Science of Computer ProgrammingNext generation asynchronous adaptive specialization for data-parallel functional array processing in SAC: Accelerating the availability of specialized high performance code
2013, ACM International Conference Proceeding SeriesFunctional array programming in SAC
2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Single Assignment C: Efficient support for high-level array operations in a functional setting
2003, Journal of Functional Programming
Copyright © 1989 Published by Elsevier Ltd.