DTAI Projects
FWO: Termination analysis: Crossing paradigm borders
Period: 01-2006 → 12-2009
Subgroup: analysis
Type: project
Members:
A central aim of this project is to improve termination analysis technology in the fields of Logic Programming and Term Rewriting by porting techniques from one field to the other and by cross-fertilization of techniques from the two fields.
An additional aim is to move beyond the two paradigms and to develop automated termination analysis techniques for functional and even imperative or object oriented programming languages.
← return to the projects
