Submission
Authors are invited to submit an abstract (up to 7 pages) by e-mail in
PostScript format to tools-env97@dia.fi.upm.es.
Topics include (but are not limited to):
- Declarative debugging.
- Abstract debugging.
- Visualization tools for (performance) debugging.
- Visualization and analysis of sets of constraints.
- Tools for static inference of program properties, e.g. type inference/checking.
- Tools for program verification.
- Other tools for program development.
Abstracts describing tools for program analysis, debugging, and
visualization and their application are of special interest.
Back to Tools and Environments for
(Constraint) Logic Programming
tools-env97@dia.upm.es