Verification of apl-programs.

Restructuring of APL functions

ACM-SE 16 Proceedings of the 16th annual Southeast regional conference

A proposal for a handbook for APL program verification

ACM SIGAPL APL Quote Quad

Toward a primitive recursive semantics for APL

APL '76 Proceedings of the eighth international conference on APL

What's wrong with APL?

APL '75 Proceedings of seventh international conference on APL

Assertions and APL programming

APL '75 Proceedings of seventh international conference on APL

A new array indexing system for APL

APL '75 Proceedings of seventh international conference on APL

The current state of proving programs correct

ACM '72 Proceedings of the ACM annual conference - Volume 1

Proving theorems about LISP functions

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence

A uniform way of reasoning about array-based computation in radar: Algebraically connecting the hardware/software boundary

Digital Signal Processing