| 
|
QuoteRef: mannZ7_1979
topics >
all references >
ThesaHelp:
references m-o
Topic:
constructing proof and program together
Topic:
transformation of programs
Topic:
program proof via assertions
Topic:
production systems
Reference
Manna, Z., Waldinger, R., "Synthesis: dreams => programs", IEEE Transactions on Software Engineering, SE-5, 4, pp. 294-327, July 1979. Google
294 ;;Quote: should develop program and its correctness proof together
295 ;;Quote: transform a specification in a subject domain language to an equivalent description in the target language
295 ;;Quote: describe a program by its input and output specification
302 ;;Quote: index rules by patterns that define the applicable goals; pattern-directed invocation
ThesaHelp: references m-o (268 items)
Topic: constructing proof and program together (22 items)
Topic: transformation of programs (27 items)
Topic: program proof via assertions (61 items)
Topic: production systems (10 items)