| 
|
Quote: added 'init' predicate for guards; true only during the first execution of a loop
topics >
all references >
references p-r >
Topic:
initialization of data
Group:
repetitive control
Quotation Skeleton
We can correct this deficiency by adding a … ti statement. Informally, the semantics are that init … previous statement, but will be evaluated as false … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: initialization of data (42 items)
Group: repetitive control (7 topics, 117 quotes)