Searching for "Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
by Edmund Melson
…Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB