Map
Index
Random
Help
Topics
th

QuoteRef: goodDI_1974

topics > all references > ThesaHelp: references g-h



Topic:
program proof via assertions
ThesaHelp:
references g-h

Reference

Good, D.I., "Provable programs and processors", AFIPS, 43, pp. 357-363, 1974. Google

Notes

about Nucleus

Quotations
QuoteRef: goodDI_1974 ;; language with which to prove programs, using assertions and state changes


Related Topics up

Topic: program proof via assertions (61 items)
ThesaHelp: references g-h (299 items)

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