postcondition

Definitions

noun computing, programming A condition that must be met immediately after execution of some piece of code.

post- +‎ condition

Help support Wordnik (and make this page ad-free) by adopting the word postcondition.

We say that the "precondition" for C is that the array be populated with URLs, and the "postcondition" is that the array be in sorted order.

Planet Haskell 2009
E, given precondition x, produces postcondition y.

Planet Haskell 2009
We say that the "precondition" for C is that the array be populated with URLs, and the "postcondition" is that the array be in sorted order.

Planet Perl 2009
E, given precondition x, is guaranteed to produce postcondition

Planet Haskell 2009
Having proved (or convinced yourself) that C will produce the postcondition "array contains sorted list of URLs", you are in an excellent position to prove (or convince yourself) that block

Planet Perl 2009
E, given precondition x, produces postcondition y.

Planet Perl 2009
I once did this in a C project using precondition and postcondition macros that basically where

MSDN Blogs 2009
VCC extends C with design by contract features, like pre - and postcondition as well as type invariants.

Network2.tv peli 2009
E, given precondition x, is guaranteed to produce postcondition

Planet Perl 2009
C begins-then the postcondition will hold too-that is, the array will be in sorted order when

Planet Perl 2009