ACM SIGPLAN Notices
Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
A logical basis for nested array data structures
Computer Languages
Retire Fortran?: a debate rekindled
Communications of the ACM
Modern Fortran revived as the language of scientific parallel computing
Digital Technical Journal
Algorithms for Parallel-Search Memories
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
An APL Compiler for a Vector Processor
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient context-free parsing algorithm
Communications of the ACM
Compilation and delayed evaluation in APL
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiler Design Theory
On Materializations of Array-Valued Temporaries
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
PVL: An Object Oriented Software Library for Parallel Signal Processing (invited)
CLUSTER '01 Proceedings of the 3rd IEEE International Conference on Cluster Computing
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
An apl machine
Verification of apl-programs.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
A programming language
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
FAC: A Functional APL Language
IEEE Software
The FORTRAN automatic coding system
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
A formal description of SYSTEM/360
IBM Systems Journal
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
System formulation and APL shared variables
IBM Journal of Research and Development
Hi-index | 0.00 |
Embedded software processing requirements will exceed 1 trillion operations per second in the 2005-2010 time frame. Consequently, efficient use of processors and memory, at all levels, is essential. In many defense environments, e.g., radar, as well as medical and other real-time embedded systems, operations are primarily array-based. Although languages support high level, monolithic, array based computation through classes, functions, templates (C++), and grammars (Fortran 95, ZPL), limited optimizations occur to eliminate array valued temporaries, which for embedded real time systems, is enormous. Without an underlying theory of arrays, e.g., an algebra and index calculus, it is difficult, if not impossible to provide such optimizations. This paper presents a Mathematics of Arrays and Psi Calculus. Together they are used to reason about array based computation in radar; the algorithm, decomposition, mapping to processors and memory, performance.