| 
|
Quote: allow existential variables in specification predicates; if satisfiable then perform the right-hand-side
topics >
all references >
references a-b >
Group:
variables
Topic:
requirement specification by assertion
Quotation Skeleton
ADL/1 allows new free variables to be introduced … if x can be found such that P(x) … rest of the guard, together with the command … Google-1 Google-2
Copyright clearance needed for quotation.
Group: variables (10 topics, 128 quotes)
Topic: requirement specification by assertion (28 items)