[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Aug 23 16:24:13 1993 
Subject:assert/mishap_if 
From:scottw (Scott Wheeler) 
Volume-ID:930823.04 

> I think #_ENSURE has a nice feel to it .... !!

Two points against: (i) "assertions" are already in the literature (I
believe the terminology came into being in the late 60's as part of
the retreat from program proving), and in most programming communities
the vocabulary will be recognised (along with "contract", "pre-condition",
and "post-condition").

ii) "#_ENSURE" suggests to me that the environment should change things to
force the condition to be true.

Scott Wheeler