| 
|
Quote: wrote 20 thousand line program without arrays; used verification instead of unit testing; no errors after installation
topics >
all references >
references m-o >
Group:
program proving
Topic:
arrays
Quotation Skeleton
[Wrote prototype language processor of 20 000 lines without arrays.] The mathematical verification permitted the programs to … operated for a year with no errors detected. … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: arrays (57 items)