Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.

Edmund M. Clarke

Browse the full POPL paper archive.