| 
|
QuoteRef: mannZ5_1978
topics >
all references >
Group:
program proving
Topic:
program proof via assertions
ThesaHelp:
references m-o
Topic:
transformation of programs
Reference
Manna, Z., Waldinger, R., "The logic of computer programming", IEEE Transactions on Software Engineering, SE-4, 3, pp. 199-229, May-June 1978. Google
QuoteRef: mannZ5_1978 ;;excellent review of program correctness proving
203 ;;Quote: verify a program given input-output assertions by finding intermediate assertions and generating and proving verification conditions
212 ;;Quote: an intermittent assertion holds at least once when control is at that point
222 ;;Quote: use transformations of specifications to develop a program
Group: program proving (10 topics, 310 quotes)
Topic: program proof via assertions (61 items)
ThesaHelp: references m-o (268 items)
Topic: transformation of programs (27 items)