Map
Index
Random
Help
th

Quote: the proper product of programming is arguments that a program is a trustworthy solution

topics > all references > references c-d > QuoteRef: dijkEW_1982 , p. 346



Group:
program proving
Topic:
error safe systems
Topic:
trust

Quotation Skeleton

It is a severe mistake to think that … he has to produce and present them in … written program text is only the accompanying material …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Group: program proving   (10 topics, 310 quotes)
Topic: error safe systems (75 items)
Topic: trust (16 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.