Incremental Addition
WS Presentations Main Page
Next: Incremental Addition: The
Up: Document: incanal
Previous: Modular Programs
- Traditional (non-incremental) analysis algorithms can handle incremental
addition of clauses and calling patterns with only minor
modifications.
- However, the more accurately the analysis algorithm tracks
dependencies, the more efficiently incremental addition can be
performed.
- Incremental addition of clauses produces the same analysis
results as non-incremental analysis.
- Useful for modular programs.
- Ideally, useful for clause addition at run-time (assert).
Thu Jan 18 11:22:51 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>