| 
|
Quote: algebraic specifications are conjunctions of predicates without negation or disjunction
topics >
all references >
references g-h >
Topic:
requirement specification by assertion
Topic:
problems with logic programming
Quotation Skeleton
A possible way of improving efficiency is by … negation. This is the major restriction imposed when … The specification is formalized as a set of … These equations are connected implicitly by AND. Only … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: improve efficiency of logic programming by avoiding disjunction as well as negation; e.g., algebraic specification
Topic: requirement specification by assertion (28 items)
Topic: problems with logic programming (10 items)