Map
Index
Random
Help
th

QuoteRef: pratVR_1980

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
ThesaHelp:
ACM references m-z
Topic:
program proof via assertions
Topic:
theorem proving systems
Topic:
man-machine symbiosis

Reference

Pratt, V.R., "On specifying verifiers ", ACM Principles of Programming Languages , pp. 106-116 , 1980. Google

Quotations
109 ;;Quote: a proof is a set of correct assertions; use a proof system to keep track of proved and unproved assertions


Related Topics up

ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Topic: program proof via assertions (61 items)
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)

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