Non-failure Analysis: Experimental Results
WS Presentations Main Page
Next: Lower Bound Cost
Up: Document: sequentialization
Previous: Non-failure Analysis: Assessment
- NP is the number of predicates in the programs,
- NF is the
number of non-failing predicates,
- NFA are those detected by our
analysis, and
- CA are those detected by the cardinality analysis.
Thu Jan 18 11:27:49 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>