Quote: Hoare axioms exist for at most 4 of 5 block-structured features: procedure parameters, recursion, static scope, globals, internal procedures

Quotation Skeleton

[a complete set of Hoare axioms is possible with any 4 but not all 5 of the following block-structured programming language features:] (i) procedure names as parameters of procedure …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proof via assertions (61 items)
Topic: program proving is infeasible (46 items)