Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
ALGOL W reference manual
Verification of apl-programs.
Automated testing in APL—an application of exception handling
APL '82 Proceedings of the international conference on APL
Hi-index | 0.00 |
Some difficulties in reading and writing APL programs are discussed. Assertions (important relations among and properties of variables) are suggested as a technique for improving reliability and readability of APL programs. It is shown how such assertions may be used for documentation, verification, optimization, and debugging. An implementation of run-time assertions in APLSV is given and illustrated by examples.