Introduction
WS Presentations Main Page
Next: Test-Debug Cycle
Up: Document: incanal
Previous: Document: incanal
- Global program analysis is becoming a practical tool.
- Most LP and CLP compilers perform only local analysis.
- The non-incremental model is unsatisfactory:
- Incremental compilation in the test-debug cycle.
- Clauses may be asserted and retracted at runtime.
- Optimize then re-analyze cycle.
- Modular programs.
- Incremental analysis can solve these problems.
- Much research for other programming paradigms.
- Little previous work in incremental analysis of logic programs.
- Compositional analysis of logic programs.
Thu Jan 18 11:22:51 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>