| 
|
QuoteRef: elspB6_1972
topics >
all references >
Group:
program proving
ThesaHelp:
references e-f
Topic:
transformation of programs
Reference
Elspas, B., Levitt, K.N., Waldinger, R.J., Wakeman, A., "An assessment of techniques for proving program correctness", Computing Surveys, 4, 2, pp. 97-147, June 1972. Google
QuoteRef: elspB6_1972 ;; [good review (mathematical) of program proof methods
101 ;;Quote: create a abstract program or program schema by removing data typing and function definition
Group: program proving (10 topics, 310 quotes)
ThesaHelp: references e-f (168 items)
Topic: transformation of programs (27 items)