| 
|
QuoteRef: clarEM1_1979
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
program proof via assertions
Topic:
program proving is infeasible
Reference
Clarke, E.M., Jr., "Programming language constructs for which it is impossible to obtain good Hoare axiom systems ", Journal of the ACM, 26, 1, pp. 129-147, 1979. Google
130 ;;Quote: Hoare axioms exist for at most 4 of 5 block-structured features: procedure parameters, recursion, static scope, globals, internal procedures
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: program proof via assertions (61 items)
Topic: program proving is infeasible (46 items)