Am 21.10.2013 03:52 schrieb "Joe Watkins" <krak...@php.net>: > > So looks like we need a new name ?? Ideas ??
abstract EXPRESSION abstract is already a keyword, so no BC. abstract is not concrete so alludes a bit to the might-be-or-might-not-be-checked nature of the test abstract is the name for the "short summary" intro part of scientific papers, and these conditions are kind of a summary of what is known (preconditions) and concluded (postconditions). best regards Patrick
